60 search results - page 9 / 12 » A Synthesis Framework Based on Trace and Automata Theory |
Publication
he significant increase in the available computational power that took place in recent decades has been accompanied by a growing interest in the application of the evolutionary ap...
IWAI
1999
Springer
13 years 11 months ago
1999
Springer
This article describes the role and functions of facial expressions in human-human and human-computer interactions from a psychological point of view. We introduce our theoretical...
LISP
2008
13 years 7 months ago
2008
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...