270 search results - page 38 / 54 » Description of the RACER System and its Applications |
ICNP
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
VR
2009
IEEE
14 years 2 months ago
2009
IEEE
Computer-generated facial avatars have been increasingly used in a variety of virtual reality applications. Emulating the real-world face sculpting process, we present an interact...
MASCOTS
1994
13 years 9 months ago
1994
Over the last two decades a considerable amount of effort has been put in the development and application of matrix geometric techniques for the analysis of queueing systems of wh...
FQAS
2009
Springer
13 years 5 months ago
2009
Springer
In this paper, an agent is defined as a triple (S, RS, LS), where S is a multi-hierarchical decision system, RS is a set of rules extracted from S defining values of its decision a...