Sciweavers

16216 search results - page 37 / 3244
» Effective Modeling with Constraints
Sort
View
132
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
Ownership and Immutability Inference for UML-Based Object Access Control
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
Yin Liu, Ana Milanova
150
Voted
AAAI
2004
15 years 5 months ago
Analogical Path Planning
We present a probabilistic method for path planning that considers trajectories constrained by both the environment and an ensemble of restrictions or preferences on preferred mot...
Saul Simhon, Gregory Dudek
134
Voted
GPCE
2007
Springer
15 years 10 months ago
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
Georg Jung, John Hatcliff
IJSEKE
2002
95views more  IJSEKE 2002»
15 years 3 months ago
A Multimedia Model Based on Structured Media and Sub-Elements for Complex Multimedia Authoring and Presentation
through the specification of temporal, spatial and spatio-temporal relations. Moreover, we propose an abstract animation model that can be combined with the intra-media temporal st...
Tran-Thuong Tien, Cécile Roisin
152
Voted
ACMICEC
2005
ACM
151views ECommerce» more  ACMICEC 2005»
15 years 9 months ago
Product knowledge reasoning: a DL-based approach
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
Nizamuddin Channa, Shanping Li, Xiangjun Fu