773 search results - page 64 / 155 » Report on a Practical Application of ASMs in Software Design |
112
Voted
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
How can Alice trust computation occurring at Bob's computer? Since it exists and is becoming ubiquitous, the current-generation TCPA/TCG hardware might enable a solution. Whe...
106
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
The environment has been recognized as an explicit and exploitable element to design Multi-Agent Systems (MAS). It can be assigned a number of responsibilities that would be more d...
179
click to vote
JTRES
2010
ACM
15 years 4 months ago
2010
ACM
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
166
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...
136
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
The general trend towards ubiquitous networking has reached the realm of airplanes. E-enabled airplanes with wired and wireless network interfaces offer a wide spectrum of network ...