5634 search results - page 865 / 1127 » About Abstract Classes |
167
click to vote
EUROPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
188
click to vote
EUROPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Information Services are fundamental blocks of the Grid infrastructure. They are responsible for collecting and distributing information about resource availability and s...
186
click to vote
FASE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
179
click to vote
FASE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
178
click to vote
FC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. RFID tags have very promising applications in many domains (retail, rental, surveillance, medicine to name a few). Unfortunately the use of these tags can have serious im...