598 search results - page 45 / 120 » A dynamic birthmark for java |
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
CGO
2005
IEEE
15 years 3 months ago
2005
IEEE
Many excepting instructions cannot be removed by existing Partial Redundancy Elimination (PRE) algorithms because the ordering constraints must be preserved between the excepting ...
CN
1999
14 years 9 months ago
1999
The combined benefits of smart card to support mobility in a pocket coupled with the ubiquitous access of Web technology, present a new paradigm for medical information access sys...
PE
2002
Springer
14 years 9 months ago
2002
Springer
This paper evaluates and compares the performance of two approaches for locating an agent in a mobile agent environment. The first approach dynamically creates a chain of forwarde...
SIMULATION
2002
14 years 9 months ago
2002
We present GaliLEO, a simulator for the transmission of connection-oriented traffic over a constellation of LEO/MEO (Low / Medium Earth Orbit) satellites. Its scope is limited to ...