2897 search results - page 275 / 580 » Test Case Integration: From Components to Systems |
283
click to vote
VLDB
2008
ACM
16 years 6 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
163
click to vote
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
286
click to vote
NFM
2011
15 years 1 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
171
click to vote
IROS
2007
IEEE
16 years 27 days ago
2007
IEEE
— This paper proposes a method to model the modification of upper body motion of dance performance based on the speed of played music. When we observed structured dance motion p...
160
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...