Sciweavers

26957 search results - page 439 / 5392
» Information Systems Modernization
Sort
View
ICSE
2003
IEEE-ACM
16 years 7 months ago
Demonstration of AGENDA Tool Set for Testing Relational Database Applications
Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
David Chays, Yuetang Deng
ICAS
2006
IEEE
157views Robotics» more  ICAS 2006»
16 years 27 days ago
Adaptive provisioning using virtual machines and autonomous role-based management
A modern server system must deliver a complex set of obligations towards its users. We study the concept of roles as autonomous encapsulations of a set of promises. Using virtuali...
Kyrre M. Begnum, Mark Burgess, John A. Sechrest
DSN
2003
IEEE
16 years 4 days ago
Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
Michael Backes, Christian Cachin
ARITH
1999
IEEE
15 years 11 months ago
Montgomery Modular Exponentiation on Reconfigurable Hardware
It is widely recognized that security issues will play a crucial role in the majority of future computer and communication systems. Central tools for achieving system security are...
Thomas Blum
WSC
2007
15 years 9 months ago
A knowledge-based method for the validation of military simulation
The validation of modern military simulation relies heavily on the opinions of military experts, and it makes the validation task exhaustive and time-consuming. The knowledgebased...
Feiyan Min, Ping Ma, Ming Yang