2527 search results - page 177 / 506 » A UML-Based Approach to System Testing |
127
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
148
click to vote
ECRTS
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
180
click to vote
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
The goal of the work in this paper is towards the incorporation of context in recommender systems in the domain of mobile applications. The approach recommends mobile applications...
171
click to vote
CAINE
2003
15 years 5 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
170
click to vote
IFIP13
2004
15 years 5 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...