1922 search results - page 128 / 385 » Systems biology, models, and concurrency |
105
click to vote
ICAS
2006
IEEE
15 years 7 months ago
2006
IEEE
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
134
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
128
click to vote
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
119
click to vote
RTAS
2009
IEEE
15 years 8 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...