2838 search results - page 280 / 568 » Verifying Controlled Components |
189
click to vote
HCW
1998
IEEE
15 years 11 months ago
1998
IEEE
Java supports heterogeneous applications by transforming a heterogeneous network of machines into a homogeneous network of Java virtual machines. This abstracts over many of the c...
179
click to vote
HCW
1998
IEEE
15 years 11 months ago
1998
IEEE
CCS is a resource management system for parallel high-performance computers. At the user level, CCS provides vendor-independent access to parallel systems. At the system administr...
161
click to vote
ICDAR
1997
IEEE
15 years 11 months ago
1997
IEEE
An algorithm is presented that allows to perform skeletonization of large maps with much lower memory requirements than with the straightforward approach. The maps are divided int...
178
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the design and evaluation of SouthamptonSCM, the runner-up in the 2005 International Trading Agent Supply Chain Management Competition (TAC SCM). In particula...
214
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...