11234 search results - page 413 / 2247 » A Microsurgery Simulation System |
245
click to vote
WWW
2002
ACM
16 years 8 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
205
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
205
click to vote
PODC
1999
ACM
15 years 12 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...