Sciweavers

1640 search results - page 244 / 328
» Design of Synchronous Action Systems
Sort
View
IFIP
2000
Springer
15 years 9 months ago
Collaborative Practice Research
: This paper reports from a systems development research tradition in which emphasis is put on relating research activities to practice and on establishing fruitful collaboration b...
Lars Mathiassen
164
Voted
CCS
2008
ACM
15 years 8 months ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...
166
Voted
PETRA
2010
ACM
15 years 8 months ago
Blink and wink detection for mouse pointer control
A Human-Computer Interaction (HCI) system that is designed for individuals with severe disabilities to simulate control of a traditional computer mouse is introduced. The camera-b...
Eric Missimer, Margrit Betke
211
Voted
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
16 years 22 days ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
147
Voted
AGI
2008
15 years 7 months ago
The Basic AI Drives
One might imagine that AI systems with harmless goals will be harmless. This paper instead shows that intelligent systems will need to be carefully designed to prevent them from be...
Stephen M. Omohundro