Sciweavers

975 search results - page 97 / 195
» Concept Description Language for Statistical Data Modeling
Sort
View
COMGEO
2010
ACM
15 years 7 months ago
Access control systems for spatial data infrastructures and their administration
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
Jan Herrmann
ER
2001
Springer
163views Database» more  ER 2001»
15 years 8 months ago
Towards Ontologically Based Semantics for UML Constructs
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
Joerg Evermann, Yair Wand
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 7 months ago
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
Dirk Beyer, Claus Lewerentz, Andreas Noack
RULEML
2005
Springer
15 years 9 months ago
Active Rules in the Semantic Web: Dealing with Language Heterogeneity
In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the ne...
Wolfgang May, José Júlio Alferes, Ri...
UM
2007
Springer
15 years 10 months ago
Driver Destination Models
Predictive models of destinations represent an opportunity in the context of the increasing availability and sophistication of in-car driving aids. We present analyses of drivers...
John Krumm, Eric Horvitz