1054 search results - page 33 / 211 » From a Verified Kernel towards Verified Systems |
121
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
What sort of democracies should open agent societies be? We present three normative models of democracy from political philosophy and consider their relevance for the engineering o...
154
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
126
click to vote
ECMDAFA
2007
Springer
15 years 8 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
104
click to vote
FORTE
2004
15 years 3 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
131
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
– A vision-based obstacle detection system for small unmanned aerial vehicles (UAVs) is presented. Obstacles are detected by segmenting the image into sky and non-sky regions and...