4693 search results - page 195 / 939 » Verifying Hybrid Systems |
121
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper reports a novel hybrid method of tracking the position and orientation of robotic medical instruments within the imaging volume of a magnetic resonance imagi...
104
Voted
ICSE
2009
IEEE-ACM
16 years 6 days ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
229
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...
145
click to vote
CSCW
2008
ACM
15 years 7 months ago
2008
ACM
We analyze online gaming as a site of collaboration in a digital-physical hybrid. We ground our analysis in findings from an ethnographic study of the online game World of Warcraf...
160
click to vote
ENTCS
2007
15 years 5 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...