Sciweavers

265 search results - page 1 / 53
» XHMBS: A Formal Model to Support Hypermedia Specification
Sort
View
HT
1998
ACM
13 years 11 months ago
XHMBS: A Formal Model to Support Hypermedia Specification
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
Fabiano Borges Paulo, Marcelo Augusto Santos Turin...
ELPUB
1997
ACM
13 years 11 months ago
Generic Hypermedia Structure and Presentation Specification
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
Lloyd Rutledge, Jacco van Ossenbruggen, Lynda Hard...
VLDB
2001
ACM
104views Database» more  VLDB 2001»
14 years 7 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
ICALT
2006
IEEE
14 years 1 months ago
Adaptive Learning Objects Sequencing for Competence-Based Learning
Lifelong learning refers to the activities people perform throughout their life to improve their competence in a particular field. Although adaptive educational hypermedia systems...
Pythagoras Karampiperis, Demetrios G. Sampson
ICST
2009
IEEE
13 years 5 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...