3765 search results - page 249 / 753 » Qualitative Action Systems |
179
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
174
click to vote
HCI
2007
15 years 8 months ago
2007
In this paper, we present a survey of challenges and solutions of multilingual and translingual information service systems. In contrast to the computational linguistics literature...
197
click to vote
IFIP12
2007
15 years 8 months ago
2007
This paper presents the principles of a Home Automation System dedicated to power management that adapts power consumption to available power ressources according to user comfort a...
159
click to vote
FLAIRS
1998
15 years 8 months ago
1998
An option to ensure that operators of complex systems have adequate situation awareness (SA) to support decision making and action is to train them to acquire and maintain SA. Thi...
137
click to vote
ECIS
2000
15 years 8 months ago
2000
We have developed a prototype electronic notary system (CYNOS : CYber NOtary System). CYNOS proves facts by providing the evidence (notary token) of events and/or actions that cou...