Sciweavers

4035 search results - page 225 / 807
» Useless Actions Are Useful
Sort
View
SIGOPSE
2004
ACM
16 years 2 hour ago
Trust but verify: accountability for network services
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
Aydan R. Yumerefendi, Jeffrey S. Chase
CC
2004
Springer
160views System Software» more  CC 2004»
15 years 12 months ago
Elkhound: A Fast, Practical GLR Parser Generator
The Generalized LR (GLR) parsing algorithm is attractive for use in parsing programming languages because it is asymptotically efficient for typical grammars, and can parse with an...
Scott McPeak, George C. Necula
ISADS
2003
IEEE
15 years 12 months ago
Structuring Integrated Web Applications for Fault Tolerance
This paper shows how modern structuring techniques can be employed in integrating complex web applications such as Travel Agency systems. The main challenges the developers of suc...
Alexander B. Romanovsky, Panos Periorellis, Avelin...
IFIP
2001
Springer
15 years 11 months ago
Semiotics and Intelligent Control
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
Morten Lind
ECP
1997
Springer
105views Robotics» more  ECP 1997»
15 years 10 months ago
Planning, Learning, and Executing in Autonomous Systems
Systems that act autonomously in the environment have to be able to integrate three basic behaviors: planning, execution, and learning. Planning involves describing a set of action...
Ramón García-Martínez, Daniel...