2875 search results - page 113 / 575 » Model checking agentspeak |
77
Voted
ICWS
2007
IEEE
15 years 2 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...
102
click to vote
SNPD
2008
15 years 2 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...
97
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
95
Voted
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
118
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...