3765 search results - page 493 / 753 » Qualitative Action Systems |
184
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
: 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...
160
click to vote
FCT
1995
Springer
15 years 10 months ago
1995
Springer
The synchronization of two or more semi-traces describes the possible evaluation of a concurrent system, which consists of two or more concurrent subsystems in a modular way, where...
188
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
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...
185
click to vote
PETRA
2010
ACM
15 years 8 months ago
2010
ACM
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...
181
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Ambient Intelligent (AmI) environments are supposed to act proactively anticipating the user's needs and preferences, therefore the capability of an AmI system to learn those ...