816 search results - page 146 / 164 » Automating Verification by Functional Abstraction at the Sys... |
GIS
2010
ACM
13 years 7 months ago
2010
ACM
With the prevalence of GPS-embedded mobile devices, enormous amounts of mobility data are being collected in the form of trajectory - a stream of (x,y,t) points. Such trajectories...
DLOG
2011
13 years 16 days ago
2011
The detection of changes between OWL ontologies is an important service for ontology engineering. There are several approaches to this problem, both syntactic and semantic. A purel...
CISS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—To achieve higher reliability, safety, and faulttolerance, many mission-critical detection and decision systems implement consensus algorithms that force the systems’ ...
MOBIDE
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we present an extensible approach to the adaptation of Web information delivery according to different and possibly heterogeneous contexts. The approach is based o...
METAINFORMATICS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...