Sciweavers

7527 search results - page 418 / 1506
» Design and implementation of the KioskNet system
Sort
View
SISW
2003
IEEE
16 years 2 days ago
Fast and Secure Magnetic WORM Storage Systems
Computer forensic analysis, intrusion detection and disaster recovery are all dependent on the existence of trustworthy log files. Current storage systems for such log files are...
Yongge Wang, Yuliang Zheng
HYBRID
2001
Springer
15 years 11 months ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...
ROBOCUP
2001
Springer
109views Robotics» more  ROBOCUP 2001»
15 years 11 months ago
Multi-platform Soccer Robot Development System
Abstract. Robot soccer is a challenging research domain, which involves multiple agents (physical robots or ”softbots”) to work together in a dynamic, noisy, cooperative and ad...
Hui Wang, Han Wang, Chunmiao Wang, William Y. C. S...
MOBIDE
1999
ACM
15 years 11 months ago
Recovery Guarantees in Mobile Systems
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
Cris Pedregal Martin, Krithi Ramamritham
IMC
2010
ACM
15 years 4 months ago
High speed network traffic analysis with commodity multi-core systems
Multi-core systems are the current dominant trend in computer processors. However, kernel network layers often do not fully exploit multi-core architectures. This is due to issues...
Francesco Fusco, Luca Deri