2131 search results - page 199 / 427 » Multi-Agent System Development: Design, Runtime, and Analysi... |
212
click to vote
ICDCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The networked application environment has motivated the development of multitasking operating systems for sensor networks and other low-power electronic devices, but thei...
160
click to vote
DATE
2008
IEEE
16 years 1 days ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
168
click to vote
ERLANG
2004
ACM
15 years 11 months ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...
151
click to vote
ENTCS
2007
15 years 5 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
174
click to vote
MICRO
2009
IEEE
16 years 7 days ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...