7209 search results - page 446 / 1442 » Software Engineering for Multi-Agent Systems |
137
click to vote
PEPM
1997
ACM
15 years 7 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
118
click to vote
ISOTAS
1993
15 years 7 months ago
1993
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
119
Voted
AMAST
2004
Springer
15 years 7 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 ...
113
Voted
APSEC
2004
IEEE
15 years 7 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...
105
Voted
ARCS
2006
Springer
15 years 7 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...