13489 search results - page 2355 / 2698 » Self-migration of operating systems |
151
click to vote
MONTEREY
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
157
Voted
OTM
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...
170
click to vote
ROBOCUP
2007
Springer
16 years 26 days ago
2007
Springer
In this article the classical self-localization approach is improved by estimating, independently from the robot’s pose, the robot’s odometric error and the landmarks’ poses....
206
click to vote
SAMT
2007
Springer
16 years 26 days ago
2007
Springer
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer su cien...
182
click to vote
VLDB
2007
ACM
16 years 26 days ago
2007
ACM
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...