556 search results - page 65 / 112 » Checking Interval Properties of Computations |
117
click to vote
FCT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
146
click to vote
ICTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
160
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
140
click to vote
ACISICIS
2008
IEEE
15 years 11 months ago
2008
IEEE
Wireless sensor networks (WSNs) provide various environment data in the real-world, and also WSNs´s middleware is able to offer field data in real-time by user queries. For mate...
120
click to vote
SIGGRAPH
1994
ACM
15 years 8 months ago
1994
ACM
The use of double-buffered displays, in which the previous image is displayed until the next image is complete, can impair the interactivity of systems that require tight coupling...