Sciweavers

15614 search results - page 174 / 3123
» The State of State
Sort
View
DELTA
2002
IEEE
15 years 9 months ago
State Transition Based Supervisory Control for a Robot Soccer System
Distributed robot control systems consist of mechanical systems powered by actuators that are under the control of computer systems that rely on sensor input, such as vision, touc...
Gourab Sen Gupta, H. L. Sng, Chris H. Messom
121
Voted
HASE
1997
IEEE
15 years 8 months ago
Verifying Fault-Tolerant Behavior of State Machines
Fault-tolerant behavior is an important non-functional requirement for systems that involve high criticality. We present a framework which allows the analysis of faulttolerant beh...
Mario Dal Cin
OOPSLA
1998
Springer
15 years 8 months ago
Data Groups: Specifying the Modification of Extended State
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...
K. Rustan M. Leino
AC
1997
Springer
15 years 8 months ago
Cryptographic Primitives for Information Authentication - State of the Art
This paper describes the state of the art for cryptographic primitives that are used for protecting the authenticity of information: cryptographic hash functions and digital signat...
Bart Preneel
121
Voted
CSEE
2008
Springer
15 years 5 months ago
The Current State of Software Engineering Masters Degree Programs
A broad coalition of professionals from academia, industry, and government, under sponsorship of the US Department of Defense, is building a new model curriculum for a Masters Deg...
Arthur B. Pyster, Richard Turner, Devanandham Henr...