4693 search results - page 506 / 939 » Verifying Hybrid Systems |
185
click to vote
IPCCC
2006
IEEE
16 years 1 months ago
2006
IEEE
The Maille Authorization protocol provides flexible and reliable authorization in large distributed and pervasive computing systems. Service owners distribute their access control...
261
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper describes our efforts in building an experimental platform to conduct research on cooperative driving in Intelligent Transportation Systems (ITS). A miniature vehicl...
151
click to vote
ECBS
2005
IEEE
16 years 19 days ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
146
click to vote
IAT
2005
IEEE
16 years 19 days ago
2005
IEEE
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that ...
156
click to vote
AOSE
2005
Springer
16 years 17 days ago
2005
Springer
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...