3765 search results - page 76 / 753 » Qualitative Action Systems |
FAC
2006
13 years 8 months ago
2006
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...
ICMI
2000
Springer
14 years 12 days ago
2000
Springer
Abstract Eyes play important roles in emotion and paralinguistic communications. Detection of eye state is necessaryfor applicationssuch as driver awareness systems. In this paper,...
ER
2006
Springer
14 years 14 days ago
2006
Springer
We outline a procedure called communicative and material functions analysis that can be used to derive business modeling concepts. It is rooted in the language-action perspective o...
CMSB
2006
Springer
14 years 16 days ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
DSVIS
2008
Springer
13 years 10 months ago
2008
Springer
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...