344 search results - page 39 / 69 » Software Process Modeling and Execution Within Virtual Envir... |
BIBE
2004
IEEE
13 years 11 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
ICEIS
2003
IEEE
14 years 29 days ago
2003
IEEE
Abstract: We present the live-representation approach for managing and working in complex, dynamic business processes. In this approach, aspects of business-process modeling, proje...
CMOT
2011
12 years 11 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
COMSWARE
2007
IEEE
14 years 2 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
BELL
2000
13 years 7 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...