473 search results - page 19 / 95 » Aspect Validation Using Model Checking |
EWSA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
IJCAI
2001
13 years 11 months ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
MTSR
2007
Springer
14 years 4 months ago
2007
Springer
Scientists in astrophysics and cosmology make much use of the arXiv repository. Concerns raised by scientists in those fields about publication costs and delays, and the transparen...
GI
2009
Springer
13 years 7 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
TCAD
2010
13 years 4 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...