1054 search results - page 138 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
127
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...
127
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
153
click to vote
ICECCS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in design. This method was developed to provi...
158
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
173
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...