917 search results - page 104 / 184 » Structural Testing of Component-Based Systems |
ATVA
2004
Springer
14 years 3 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
ICECCS
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in design. This method was developed to provi...
ESEM
2007
ACM
14 years 1 months ago
2007
ACM
A common belief is that software designs decay as systems evolve. This research examines the extent to which software designs actually decay by studying the aging of design patter...
VLDB
2007
ACM
14 years 10 months ago
2007
ACM
This demonstration showcases the STEP system for natural language access to relational databases. In STEP an administrator authors a highly structured semantic grammar through cou...
CIVR
2009
Springer
14 years 4 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that is also a natural test bed for evaluating semantic structures for natural language descriptions of motion ...