Sciweavers

599 search results - page 42 / 120
» Interpreting the Object Constraint Language
Sort
View
EDBTW
2006
Springer
15 years 3 months ago
ActiveXQBE: A Visual Paradigm for Triggers over XML Data
Abstract. While XQuery is becoming a standard, the W3C is currently discussing the features of an update language for XML, and its requirements. Therefore, time is ripe for designi...
Daniele Braga, Alessandro Campi, Davide Martinengh...
ICFP
2005
ACM
15 years 11 months ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
MODELS
2007
Springer
15 years 6 months ago
A Metamodel-Based Approach for Analyzing Security-Design Models
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
David A. Basin, Manuel Clavel, Jürgen Doser, ...
CA
1999
IEEE
15 years 4 months ago
A Behavioral Interface to Simulate Agent-Object Interactions in Real-Time
This paper shows a new approach to model and control interactive objects for simulations with virtual human agents when real time interactivity is essential. A general conceptuali...
Marcelo Kallmann, Daniel Thalmann
SOSYM
2008
90views more  SOSYM 2008»
14 years 11 months ago
A metamodeling language supporting subset and union properties
Abstract. The Meta Object Facility (MOF) 2.0 and the Unified Modeling Language Infrastructure introduce new language features such as subsets, (derived) unions and redefinitions, b...
Marcus Alanen, Ivan Porres