897 search results - page 35 / 180 » Reuse, Validation and Verification of System Development Pro... |
AAI
2007
13 years 9 months ago
2007
An versatile and modular Electrical Ground Support Equipment (EGSE) system has been developed using Artificial Intelligence (AI) techniques to control and test the PESCA instrumen...
ACMSE
2008
ACM
13 years 11 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
WISE
2006
Springer
14 years 2 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
FDL
2007
IEEE
14 years 3 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
ER
2008
Springer
13 years 10 months ago
2008
Springer
Abstract Although most workflow management systems nowadays offer graphical editors for process modeling, the learning curve is still too steep for users who are unexperienced in p...