78 search results - page 2 / 16 » Analyzing critical process models through behavior model syn... |
WWW
2008
ACM
14 years 6 months ago
2008
ACM
The phenomenon of sponsored search advertising is gaining ground as the largest source of revenues for search engines. Firms across different industries have are beginning to adop...
ICIP
2002
IEEE
14 years 7 months ago
2002
IEEE
The MPEG-4 Face and Body Animation (FBA) specifications aims at standardizing an interchange format for specifying virtual face and body modeling and related animation parameters....
DAGSTUHL
2007
13 years 7 months ago
2007
In order to prevent emergencies or critical situations where humans are the origin, a timely provision of information thus obtained for the coordinating services and the on-site st...
DATE
2000
IEEE
13 years 10 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
FASE
2003
Springer
13 years 10 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...