858 search results - page 52 / 172 » One Is Enough! |
CJ
2006
13 years 9 months ago
2006
Abstract. Uncertainty is an inherent property of all living systems. Curiously enough, computational models inspired by biological systems do not take, in general, under considerat...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
RTS
2006
13 years 8 months ago
2006
Abstract. The Time-Triggered Architecture, as architecture for safety-critical realtime applications, incorporates fault-tolerance mechanisms to ensure correct system operation des...
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
Policies are widely used in many systems and applications. Recently, it has been recognized that a "yes/no" response to every scenario is just not enough for many modern...
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—VANET protocols need to exploit the special structure of vehicular networks. This structure includes the onedimensional nature of roads, the structure of lanes, the grou...