2131 search results - page 199 / 427 » Multi-Agent System Development: Design, Runtime, and Analysi... |
253
click to vote
ICDCS
2010
IEEE
15 years 4 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...
193
click to vote
DATE
2008
IEEE
16 years 1 months 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...
206
Voted
ERLANG
2004
ACM
16 years 14 days 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...
179
Voted
ENTCS
2007
15 years 7 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 ...
203
Voted
MICRO
2009
IEEE
16 years 1 months 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 ...