7380 search results - page 458 / 1476 » Engineering Software Intensive Systems |
132
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
124
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Sensors in ubiquitous computing provide a new opportunity to extend existing RFID capabilities to situation-awareness. This paper proposes several alternatives of the Situation-Aw...
121
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
The performance of the barrier operation can be crucial for many parallel codes. Especially distributed shared memory systems have to synchronize frequently to ensure the proper o...
132
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
A trace monitor observes the sequence of events in a system, and takes appropriate action when a given pattern occurs in that sequence. Aspect-oriented programming provides a conve...
131
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...