101 search results - page 9 / 21 » Automating the process of test derivation from SDL specifica... |
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
AOSE
2004
Springer
14 years 1 months ago
2004
Springer
Current agent-oriented methodologies focus mainly on multi-agent systems analysis and design, but without providing straightforward connections to the implementation of such system...
SOSYM
2008
13 years 7 months ago
2008
Amodelisasimplifiedrepresentationofanaspect of the world for a specific purpose. In complex systems, many aspects are to be handled, from architectural aspects to dynamic behavior,...
TCSV
2008
13 years 7 months ago
2008
Abstract--In this work, we study how continuous video monitoring and intelligent video processing can be used in eldercare to assist the independent living of elders and to improve...
DAGM
2008
Springer
13 years 9 months ago
2008
Springer
This article presents a genetic learning algorithm to derive discrete patterns that can be used for classification and retrieval of 3D motion capture data. Based on boolean motion ...