1407 search results - page 47 / 282 » Using Use Cases in Executable Z |
151
click to vote
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
107
Voted
TPDS
1998
15 years 2 months ago
1998
—The way the processes in a parallel program are scheduled on the processors of a multiprocessor system affects the performance significantly. Finding a schedule of processes to ...
130
Voted
ICWS
2007
IEEE
15 years 4 months ago
2007
IEEE
Workflows often operate in volatile environments in which the component services’ QoS changes frequently. Optimally adapting to these changes becomes an important problem that ...
133
click to vote
SOCO
2008
Springer
15 years 2 months ago
2008
Springer
Self-adaptive component-based architectures provide methods and mechanisms to support the dynamic adaptation of their structure under evolving execution context. Dynamic adaptation...
130
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
—In continuous integration, a tight integration of test case prioritization techniques and fault-localization techniques may both expose failures faster and locate faults more ef...