686 search results - page 137 / 138 » Behavior Protocols for Software Components |
CAISE
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
FM
1997
Springer
13 years 10 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
COOTS
1997
13 years 7 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
ISMB
1993
13 years 7 months ago
1993
Interactions that determinecellular fate are exceedingly complex, can take place at different levels of gene regulation and involve a large numberof components(such as genes, prot...
SAC
2006
ACM
13 years 5 months ago
2006
ACM
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...