6978 search results - page 1317 / 1396 » On Proofs in System P |
HPDC
1999
IEEE
14 years 1 months ago
1999
IEEE
Process checkpointing is a basic mechanism required for providing High Throughput Computing service on distributively owned resources. We present a new process checkpoint and migr...
ICMCS
1999
IEEE
14 years 1 months ago
1999
IEEE
We address the problem of recovering 3D models from uncalibrated images of architectural scenes. We propose a simple, geometrically intuitive method which exploits the strong rigi...
ICSM
1999
IEEE
14 years 1 months ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
RTSS
1998
IEEE
14 years 1 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
TOOLS
1998
IEEE
14 years 1 months ago
1998
IEEE
We have implemented a prototype distributed system for managing and accessing a digital library of geospatial imagery over a wide-area network. The system conforms to a subset of ...