819 search results - page 26 / 164 » Using Assumptions to Distribute CTL Model Checking |
112
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
86
Voted
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
— Wireless transmission based on cooperation promises to bring performance improvements in multi–node networks. Several cooperative schemes have appeared in the literature, and...
97
Voted
GCC
2003
Springer
15 years 5 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
114
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
92
Voted
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....