1528 search results - page 160 / 306 » Performance Assertion Checking |
117
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
112
Voted
MEDINFO
2007
15 years 4 months ago
2007
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions and periodic repetitio...
134
Voted
SEDE
2008
15 years 4 months ago
2008
In this paper we present an energy efficient framework for processing spatial alarms on mobile clients, while maintaining low computation and storage costs. Our approach to spatia...
117
Voted
ARTMED
2006
15 years 2 months ago
2006
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions, and periodic repetiti...
179
Voted
ENTCS
2007
15 years 2 months ago
2007
Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...