11234 search results - page 413 / 2247 » A Microsurgery Simulation System |
154
Voted
QEST
2006
IEEE
16 years 21 days ago
2006
IEEE
162
Voted
QEST
2005
IEEE
16 years 8 days ago
2005
IEEE
202
click to vote
WWW
2002
ACM
16 years 7 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...
177
click to vote
ATVA
2007
Springer
16 years 26 days 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...
175
click to vote
PODC
1999
ACM
15 years 11 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...