4693 search results - page 521 / 939 » Verifying Hybrid Systems |
314
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
173
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
167
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The objective of this study is to identify the relationships in which social support influences flow and game loyalty through character control, character identity, guild identity...
175
click to vote
SRDS
2007
IEEE
16 years 1 months ago
2007
IEEE
Sensors that operate in an unattended, harsh or hostile environment are vulnerable to compromises because their low costs preclude the use of expensive tamper-resistant hardware. ...
220
click to vote
WISE
2006
Springer
16 years 1 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...