Sciweavers

2021 search results - page 149 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
TACAS
2001
Springer
119views Algorithms» more  TACAS 2001»
15 years 10 months ago
Compositional Message Sequence Charts
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
Elsa L. Gunter, Anca Muscholl, Doron Peled
CSFW
1999
IEEE
15 years 10 months ago
Secure Composition of Insecure Components
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
Peter Sewell, Jan Vitek
NAR
2008
142views more  NAR 2008»
15 years 6 months ago
CMGSDB: integrating heterogeneous Caenorhabditis elegans data sources using compositional data mining
CMGSDB (Database for Computational Modeling of Gene Silencing) is an integration of heterogeneous data sources about Caenorhabditis elegans with capabilities for compositional dat...
Amrita Pati, Ying Jin, Karsten Klage, Richard F. H...
MASCOTS
2003
15 years 7 months ago
DEVS Today: Recent Advances in Discrete Event-Based Information Technology
We review the DEVS modeling and simulation framework Its fundamental concepts are discussed from the standpoint of discrete event information processing with an example drawn from...
Bernard P. Zeigler
FIDJI
2003
Springer
15 years 11 months ago
Hard Real-Time Implementation of Embedded Software in JAVA
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
Jean-Pierre Talpin, Abdoulaye Gamatié, Davi...