2838 search results - page 246 / 568 » Verifying Controlled Components |
96
Voted
ICNS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper deals with the problem of assuring strict QoS guarantees for the end to end connections that originate from Ethernet access network. It shows that despite high link cap...
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
113
Voted
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
90
Voted
IPCCC
2006
IEEE
15 years 6 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...
103
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...