1115 search results - page 189 / 223 » An Abstract Look at Realizability |
84
Voted
ALGOSENSORS
2007
Springer
15 years 4 months ago
2007
Springer
e for abstract modeling, algorithmic design and analysis to achieve provably efficient, scalable and fault-tolerant realizations of such huge, highly-dynamic, complex, non-conventi...
92
Voted
ROBOCUP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
93
Voted
SENSYS
2006
ACM
15 years 4 months ago
2006
ACM
Recent gains in energy-efficiency of new-generation NAND flash storage have strengthened the case for in-network storage by data-centric sensor network applications. This paper ...
ECOOPW
1998
Springer
15 years 2 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
90
Voted
FM
2006
Springer
15 years 1 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...