125 search results - page 23 / 25 » Verifying Model Oriented Specifications through Animation |
ENVSOFT
2011
13 years 1 months ago
2011
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
GI
2005
Springer
14 years 1 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
VR
2000
IEEE
13 years 12 months ago
2000
IEEE
Previous interactive works have used springs, heuristics, and dynamics for surface placement applications. We present an analytical technique for kilohertz rate manipulation of CA...
NGITS
1999
Springer
13 years 11 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...