325 search results - page 64 / 65 » Concurrent Composition of Secure Protocols in the Timing Mod... |
151
click to vote
SAFECOMP
2010
Springer
15 years 3 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...
156
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Technology Roadmap for Semiconductors (ITRS) clearly identifies the integration of electrochemical and electrobiological techniques as one of the system-level design challenges tha...
187
click to vote
JCM
2008
15 years 5 months ago
2008
In this paper, we present a new simulation platform for complex, radio standard spanning mobile Ad Hoc networks. SimANet - Simulation Platform for Ambient Networks - allows the coe...
165
click to vote
NDSS
2008
IEEE
15 years 11 months ago
2008
IEEE
We study the problem of reliably searching for resources in untrusted peer-to-peer networks, where a significant portion of the participating network nodes may act maliciously to...
136
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...