8492 search results - page 278 / 1699 » Modelling and Design of Multi-Agent Systems |
148
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
135
click to vote
SERP
2003
15 years 6 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
118
click to vote
TSE
2008
15 years 4 months ago
2008
Design patterns are important in object-oriented programming because they offer design motifs, elegant solutions to recurrent design problems, which improve the quality of software...
161
click to vote
CAISE
2000
Springer
15 years 9 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
114
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...