1021 search results - page 98 / 205 » Pure Subtype Systems |
109
Voted
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper presents a sensor analysis based fault detection approach (which we call SAFDetection) that is used to monitor tightly-coupled multi-robot team tasks. Our approach a...
120
Voted
SRDS
1998
IEEE
15 years 6 months ago
1998
IEEE
Optimistically replicated systems provide highly available data even when communication between data replicas is unreliable or unavailable. The high availability comes at the cost...
112
click to vote
LICS
1996
IEEE
15 years 6 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
113
click to vote
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
Continuous data protection, which logs every update to a file system, is an enabling technology to protect file systems against malicious attacks and/or user mistakes, because it ...
137
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
The semantic web is expected to have an impact at least as big as that of the existing HTML based web, if not greater. However, the challenge lays in creating this semantic web an...