12981 search results - page 183 / 2597 » Model Checking (Abstract) |
155
click to vote
ASIAN
2003
Springer
15 years 8 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
100
click to vote
ICWS
2007
IEEE
15 years 4 months ago
2007
IEEE
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
122
click to vote
SNPD
2008
15 years 4 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
133
click to vote
SIGPLAN
2002
15 years 2 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
117
click to vote
TCS
2010
15 years 1 months ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...