4693 search results - page 40 / 939 » Verifying Hybrid Systems |
104
click to vote
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
100
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where t...
99
Voted
ICCD
2003
IEEE
15 years 9 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
108
Voted
CANS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
125
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...