default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 28 matches
- 2004
- George K. Adam:
Design of a Microprocessor-Based Control System of a Compression Molding Process. ICECCS 2004: 207-212 - Vieri Del Bianco, Gianluca Ripa, Emma Tracanella, Luigi Lavazza:
A Web-Based Infrastructure for the Management of Semantic Meta-Data. ICECCS 2004: 181-190 - Tommaso Bolognesi:
A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages. ICECCS 2004: 107-116 - L. Braccesi, Massimo Monsignori, Paolo Nesi:
Monitoring and Optimizing Industrial Production Processes. ICECCS 2004: 213-222 - Manfred Broy:
Architecture Driven Modeling in Software Development. ICECCS 2004: 3-12 - Tao Cheng, Zailin Guan, Liming Liu, Bo Wu, Shuzi Yang:
A CORBA-Based Multi-Agent System Integration Framework. ICECCS 2004: 191-198 - Vilgot Claesson, Neeraj Suri:
TTET: Event-Triggered Channels on a Time-Triggered Base. ICECCS 2004: 39-46 - Paolo Donzelli, Paolo Bresciani:
Domain Visualization for Dealing with Complex Information Systems . ICECCS 2004: 171-180 - Francisco J. Barrientos García, Isaac García Incertis, Félix Miguel Trespaderne, Eusebio de la Fuente López, José Ramón Perán González:
System for the Production Control and Automatic Packaging of Plastic Air Sleeve Guides. ICECCS 2004: 223-227 - Boby George, Shawn A. Bohner, Rubén Prieto Díaz:
Software Information Leaks: A Complexity Perspective. ICECCS 2004: 239-248 - Stefania Gnesi, Diego Latella, Mieke Massink:
Formal Test-Case Generation for UML Statecharts. ICECCS 2004: 75-84 - Hassan Gomaa, Michael Eonsuk Shin:
Modeling Complex Systems by Separating Application and Security Concerns. ICECCS 2004: 19-28 - Sheena R. Judson, Robert B. France, Doris L. Carver:
Supporting Rigorous Evolution of UML Models. ICECCS 2004: 128-137 - R. M. Marks, F. George Wilkie:
Visualising Object-Oriented Source Code Complexity Using XML. ICECCS 2004: 161-170 - Fumiko Nagoya, Shaoying Liu, Yuting Chen:
An Investigation of the Approach to Specification-Based Program Review through Case Studies. ICECCS 2004: 249-258 - Mara Nikolaidou, Dimosthenis Anagnostopoulos:
Enterprise Information Systems Configuration: Emphasizing the Symbiotic Relationship between Applications and the Underlying Network. ICECCS 2004: 47-56 - Panayiotis Periorellis, Olusola C. Idowu, Steven J. Lynden, Malcolm P. Young, Péter András:
Dealing with Complex Networks of Process Interactions: A Security Measure. ICECCS 2004: 29-36 - Marios M. Polycarpou, Jay A. Farrell, Manu Sharma:
Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to Constraints. ICECCS 2004: 66-74 - Michael Poppleton, Richard Banach:
Requirements Validation by Lifting Retrenchments in B. ICECCS 2004: 87-96 - Sita Ramakrishnan, Ashley Cambrell:
Muse over University Organisational Ecology in Action and Service-Oriented Architectures. ICECCS 2004: 199-206 - Xiaoxu Ren, Max Ong, Geoffrey Allan, Visakan Kadirkamanathan, Haydn A. Thompson, Peter J. Fleming:
Integrated Fault Diagnostics on the Grid. ICECCS 2004: 59-65 - Paul Robertson, Robert Laddaga:
Using Contexts to Manage System Complexity. ICECCS 2004: 149-158 - Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey:
Verification of NASA Emergent Systems. ICECCS 2004: 231-238 - Bernhard Steffen:
Major Threat: From Formal Methods without Tools to Tools without Formal Methods. ICECCS 2004: 15 - Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu:
Relating pi-calculus to Object-Z. ICECCS 2004: 97-106 - P. Mattias Weckstén, Jonas Vasell, Magnus Jonsson:
Towards a Tool for Derivation of Implementation Constraints. ICECCS 2004: 119-127 - Denise M. Woit, M. Fan:
Independence Transformations and Tools for Components. ICECCS 2004: 138-146 - 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 14-16 April 2004, Florence, Italy. IEEE Computer Society 2004, ISBN 0-7695-2109-6 [contents]
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-01 04:58 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint