3238 search results - page 489 / 648 » Multi-return function call |
110
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Testing concurrent software is difficult due to problems with inherent non-determinism. In previous work, we have presented a method and tool support for the testing of concurrent...
119
Voted
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
Hybrid architectures have been developed to preserve the responsiveness of reactive layers while also providing the benefits of higher level deliberative capabilities. The challen...
132
click to vote
DIAGRAMS
2004
Springer
15 years 6 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
127
click to vote
FGR
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper presents an overview of our project on an augmented desk interface system called the EnhancedDesk. The EnhancedDesk is equipped with an infrared camera for tracking a u...