Остановите войну!
for scientists:
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 30 matches
- 2006
- Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi:
A GRID based Framework and tools for automating production of cross media content. ICECCS 2006: 236-248 - Milos Besta, Frank A. Stomp:
An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. ICECCS 2006: 199-208 - Jovan Cakic, Richard F. Paige:
Origins of the Grid Architectural Style. ICECCS 2006: 227-235 - Ana Cavalcanti, Phil Clayton:
Verification of Control Systems using Circus. ICECCS 2006: 269-278 - Yuting Chen, Shaoying Liu, Fumiko Nagoya:
A Tool-Supported Review Approach to Detecting Structural Consistency Violations. ICECCS 2006: 121-130 - Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton:
On the Generation of Object Databases using Booster. ICECCS 2006: 249-258 - David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira:
Automation of Java Card component development using the B method. ICECCS 2006: 259-268 - José Luiz Fiadeiro:
Physiological vs. Social Complexity in Software Design. ICECCS 2006: 3 - Jane Huffman Hayes, Inies C. M. Raphael, Elizabeth Ashlee Holbrook, David M. Pruett:
A Case History of International Space Station Requirement Faul. ICECCS 2006: 17-26 - Dae-Kyoo Kim, Lunjin Lu:
Inference of Design Pattern Instances in UML models via Logic Programming. ICECCS 2006: 47-56 - Reinhard Klemm:
Efficient Dynamic Multikeys in Enterprise JavaBeans. ICECCS 2006: 7-16 - Magnus E. Larsson, Phillip A. Laplante:
On the Complexity of Design in Imaging Software. ICECCS 2006: 37-46 - Xiaoshan Li:
A Characterization of UML Diagrams and their Consistency. ICECCS 2006: 67-76 - Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora:
Formal Specification-based Online Monitoring. ICECCS 2006: 152-162 - Duoduo Liao:
A Real-time High-fidelity Driving Simulator System Based on PC Clusters. ICECCS 2006: 209-216 - Jing Liu, Jifeng He:
Reactive Component based Service-Oriented Design - A Case Study. ICECCS 2006: 27-36 - Tiziana Margaria, Christian Kubczak, Marc Njoku, Bernhard Steffen:
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. ICECCS 2006: 169-176 - Mara Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, Alexandros Dais, Dimosthenis Anagnostopoulos:
A UML Profile utilizing Enterprise Information System Configuration. ICECCS 2006: 77-88 - Joshua J. Pauli, Dianxiang Xu:
Integrating Functional and Security Requirements with Use Case Decomposition. ICECCS 2006: 57-66 - Gregory M. Provan:
Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. ICECCS 2006: 217-226 - Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi:
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138 - Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock:
A Layered Behavioural Model of Platelets. ICECCS 2006: 98-106 - Norman F. Schneidewind:
Reliability - Security Model. ICECCS 2006: 279-288 - Susan Stepney, Fiona Polack, Heather R. Turner:
Engineering Emergence. ICECCS 2006: 89-97 - Roy Sterritt, Michael G. Hinchey:
Biologically-Inspired Concepts for Self-Management of Complexity. ICECCS 2006: 163-168 - Ray Walshe:
Modelling Bacterial Growth Patterns in the presence of Antibiotic. ICECCS 2006: 177-188 - Peter H. Welch, Fred R. M. Barnes, Fiona Polack:
Communicating Complex Systems. ICECCS 2006: 107-120 - Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu:
A Type System for the Relational Calculus of Object Systems. ICECCS 2006: 189-198 - Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151 - 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA. IEEE Computer Society 2006, ISBN 0-7695-2530-X [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-07-24 06:14 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