Sciweavers

432 search results - page 64 / 87
» Interoperability in the ProM Framework
Sort
View
95
Voted
JNCA
2008
96views more  JNCA 2008»
14 years 11 months ago
Patterns of message interchange in decoupled hypermedia systems
Open hypermedia systems provide a decoupled approach to structural computing. This entails that the architecture of the systems are made up of user agents that communicate with di...
Sinuhé Arroyo, Miguel-Ángel Sicilia,...
ISF
2007
121views more  ISF 2007»
14 years 11 months ago
Virtual organization security policies: An ontology-based integration approach
Abstract This paper addresses the specification of a security policy ontology framework to mediate security policies between virtual organizations (VO) and real organizations (RO)....
Saravanan Muthaiyah, Larry Kerschberg
RV
2010
Springer
153views Hardware» more  RV 2010»
14 years 9 months ago
Run-Time Verification of Networked Software
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
Cyrille Valentin Artho
JUCS
2010
135views more  JUCS 2010»
14 years 6 months ago
Model-driven Transformation and Validation of Adaptive Educational Hypermedia using CAVIAr
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
Mark Melia, Claus Pahl
ICCSA
2011
Springer
14 years 3 months ago
Standardization of Game Based Learning Design
The standardization of the design of learning games is a contradictory topic: The existence of a rich variety of domains and applications is in conflict with the desire for unifica...
Sebastian Kelle, Roland Klemke, Marion R. Gruber, ...