Sciweavers

5284 search results - page 998 / 1057
» Ontologizing Semantic Relations
Sort
View
SPLC
2007
15 years 5 months ago
Feature Diagrams and Logics: There and Back Again
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...
Krzysztof Czarnecki, Andrzej Wasowski
APVIS
2009
15 years 5 months ago
Optimized data transfer for time-dependent, GPU-based glyphs
Particle-based simulations are a popular tool for researchers in various sciences. In combination with the availability of ever larger COTS clusters and the consequently increasin...
Sebastian Grottel, Guido Reina, Thomas Ertl
CSL
2010
Springer
15 years 5 months ago
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
David A. Basin, Cas J. F. Cremers
ECTEL
2010
Springer
15 years 5 months ago
Orchestrating Learning Using Adaptive Educational Designs in IMS Learning Design
: IMS Learning Design (IMS LD) is an open specification to support interoperability of advanced educational designs for a wide range of technology-enhanced learning solutions and o...
Marion R. Gruber, Christian Glahn, Marcus Specht, ...
SIGCOMM
2010
ACM
15 years 4 months ago
capDL: a language for describing capability-based systems
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker