Sciweavers

4418 search results - page 452 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
EDOC
2006
IEEE
16 years 28 days ago
Structural Patterns for Soundness of Business Process Models
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
Boudewijn F. van Dongen, Jan Mendling, Wil M. P. v...
WSC
1998
15 years 8 months ago
Validation and Verification of the Simulation Model of a Photolithography Process in Semiconductor Manufacturing
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
Nirupama Nayani, Mansooreh Mollaghasemi
EDOC
2007
IEEE
16 years 1 months ago
An Enterprise Architecture Alignment Measure for Telecom Service Development
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
Jacques Simonin, Yves Le Traon, Jean-Marc Jé...
CVPR
2009
IEEE
17 years 2 months ago
Cooperative Mapping of Multiple PTZ Cameras in Automated Surveillance Systems
Due to the capacity of pan-tilt-zoom (PTZ) cameras to simultaneously cover a panoramic area and maintain high resolution imagery, researches in automated surveillance systems wi...
Andreas Koschan, Anis Drira, Chung-Chen Chen, Mong...
EICS
2009
ACM
16 years 1 months ago
Toward user interface virtualization: legacy applications and innovative interaction systems
Single-user, desktop-based computer applications are pervasive in our daily lives and work. The prospect of using these applications with innovative interaction systems, like mult...
Guillaume Besacier, Frédéric Vernier