880 search results - page 57 / 176 » Semantics-Based Concurrency Control |
144
Voted
IUI
2009
ACM
15 years 7 months ago
2009
ACM
Editing facial expressions of virtual characters is quite a complex task. The face is made up of many muscles, which are partly activated concurrently. Virtual faces with human exp...
124
click to vote
ICMAS
1998
15 years 3 months ago
1998
The success of agent-oriented concepts in various application domains, in particular in manufacturing control, creates the need for an agent-oriented analysis, design, and program...
186
Voted
Book
"This book is intended for human factors engineers requiring current knowledge of how a computer graphics surrogate human can augment their analyses of designed environments. ...
122
click to vote
APN
2001
Springer
15 years 6 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
121
click to vote
ECMDAFA
2005
Springer
15 years 8 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...