Sciweavers

4035 search results - page 490 / 807
» Useless Actions Are Useful
Sort
View
202
Voted
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 11 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
226
Voted
ESOP
2000
Springer
15 years 11 months ago
Secure Information Flow as Typed Process Behaviour
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Y...
197
Voted
LCR
2000
Springer
140views System Software» more  LCR 2000»
15 years 11 months ago
An Infrastructure for Monitoring and Management in Computational Grids
We present the design and implementation of an infrastructure that enables monitoring of resources, services, and applications in a computational grid and provides a toolkit to hel...
Abdul Waheed, Warren Smith, Jude George, Jerry C. ...
218
Voted
SOFSEM
2000
Springer
15 years 11 months ago
Hierarchies of Sensing and Control in Visually Guided Agents
The capability of perceiving the environment is crucial for advancing the level of autonomy and sophistication of (semi)autonomous robotic systems and determines the complexity of ...
Jana Kosecka
201
Voted
DSVIS
1995
Springer
15 years 11 months ago
Moving between Contexts
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...
Alan J. Dix