1398 search results - page 80 / 280 » Ensuring Properties of Interaction Systems |
138
click to vote
FTCS
1998
15 years 5 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
156
click to vote
SRDS
2005
IEEE
15 years 10 months ago
2005
IEEE
Current cluster architectures provide the ideal environment to run federations of main-memory database systems (FMMDBs). In FMMDBs, data resides in the main memory of the federati...
147
click to vote
ATC
2006
Springer
15 years 6 months ago
2006
Springer
The emerging autonomic computing technology has been hailed by world-wide researchers and professionals in academia and industry. Besides four key capabilities, well known as self-...
118
click to vote
PDPTA
2003
15 years 5 months ago
2003
—This paper presents a massively shared virtual reality system based on a network of peers. It does not rely on any server nor on IP multicast, and intends to be scalable to an u...
123
click to vote
TNN
2008
15 years 4 months ago
2008
Abstract--This paper presents a full state feedback adaptive dynamic inversion method for uncertain systems that depend nonlinearly upon the control input. Using a specialized set ...