Sciweavers

3999 search results - page 517 / 800
» Design of Optical Access Systems using Computer Modeling
Sort
View
CEEMAS
2001
Springer
15 years 11 months ago
MAS Oriented Patterns
Multiagent systems (MAS) are spreading, in the academic world as well as in industry. Nevertheless, MAS design is still a problem. The agent community now has some experience. So, ...
Sylvain Sauvage
VSTTE
2005
Springer
16 years 5 days ago
Model Checking: Back and Forth between Hardware and Software
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, He...
172
Voted
EUROSYS
2008
ACM
16 years 3 months ago
Application-level isolation and recovery with solitude
When computer systems are compromised by an attack, it is difficult to determine the precise extent of the damage caused by the attack because the state changes made by an attack...
Shvetank Jain, Fareha Shafique, Vladan Djeric, Ash...
161
Voted
NDSS
2009
IEEE
16 years 1 months ago
The Blind Stone Tablet: Outsourcing Durability to Untrusted Parties
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
Peter Williams, Radu Sion, Dennis Shasha
AINA
2007
IEEE
16 years 1 months ago
Heuristics for Improving Cryptographic Key Assignment in a Hierarchy
In hierarchical distributed systems, shared data access can be controlled by assigning user groups single cryptographic keys that allow high level users derive low level keys, but...
Anne V. D. M. Kayem, Patrick Martin, Selim G. Akl