779 search results - page 146 / 156 » An Asynchronous Distributed Component Model and Its Semantic... |
SAFECOMP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
111
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
Activity recognition is a key component for creating intelligent, multi-agent systems. Intrinsically, activity recognition is a temporal classification problem. In this paper, we...
104
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
123
click to vote
EAGC
2004
Springer
15 years 5 months ago
2004
Springer
In this short paper we examine the integration of three emerging trends in Information Technology (Utility Computing, Grid Computing, and Web Services) into a new Computing paradig...
119
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...