Sciweavers

2602 search results - page 333 / 521
» Semantic Analysis of 'to'
Sort
View
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 10 months ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl
ESORICS
2006
Springer
15 years 10 months ago
A Formal Model of Access Control for Mobile Interactive Devices
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
Frédéric Besson, Guillaume Dufay, Th...
ICSE
2000
IEEE-ACM
15 years 10 months ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...
EDBT
2010
ACM
205views Database» more  EDBT 2010»
15 years 10 months ago
Advanced knowledge discovery on movement data with the GeoPKDD system
The growing availability of mobile devices produces an enormous quantity of personal tracks which calls for advanced analysis methods capable of extracting knowledge out of massiv...
Mirco Nanni, Roberto Trasarti, Chiara Renso, Fosca...
DOCENG
2005
ACM
15 years 8 months ago
Compiling XPath for streaming access policy
We show how the full XPath language can be compiled into a minimal subset suited for stream-based evaluation. Specifically, we show how XPath normalization into a core language a...
Pierre Genevès, Kristoffer Høgsbro R...