Filters








22 Hits in 2.2 sec

Specifying Hyperdocuments with Algebraic Methods

Volker Mattick
unpublished
Algebraic specification methods, well-known in the area of programming languages, are adapted to present a tailored framework for hyperdocuments and hyperdocument systems.  ...  It is shown how XML-based markup languages with schemas and stylesheets can be defined in terms of this framework and how this framework can be extended so that it can deal with partially specified documents  ...  This work adapts general algebraic methods to define a tailored framework for hyperdocuments and hyperdocument systems and shows how hyperdocument engineering can benefit from this approach.  ... 
doi:10.29007/3bwg fatcat:6rckzmmdjrerpo7giea2277slu

TOWARDS THE ALGEBRAIC ANALYSIS OF HYPERLINK STRUCTURES

ALEXANDER FRONK
2003 International journal of software engineering and knowledge engineering  
Algebraic specifications serve as a formal model which allows to obtain algebras reflecting hyperlink structures and which is open to analyze their static properties.  ...  That is, properties of hyperlink structures such as reachability, existence of certain paths through a hyperdocument, or dangling links may be verified mathematically in advance of implementing the hyperdocument  ...  The reader familiar with algebraic specification may proceed to Sec. 4.2, where the hyperdocument discussed in Example 3 on page 671 is specified.  ... 
doi:10.1142/s0218194003001500 fatcat:pfqetmmmrne2nia6qvja5zbaqm

An Algebraic Dexter-Based Hypertext Reference Model [article]

Volker Mattick, Claus-Peter Wirth
2009 arXiv   pre-print
We present the first formal algebraic specification of a hypertext reference model.  ...  It is based on the well-known Dexter Hypertext Reference Model and includes modifications with respect to the development of hypertext since the WWW came up.  ...  We now extend this model with observer and editing functions to an algebraic model for hyperdocument systems.  ... 
arXiv:0902.3648v1 fatcat:iq5n4mqxqrczdpxduaedzdggau

Formal Modeling of RESTful Systems Using Finite-State Machines [chapter]

Ivan Zuzak, Ivan Budiselic, Goran Delac
2011 Lecture Notes in Computer Science  
with a generalization of the model which would not be bound to standard HTTP methods as it currently is.  ...  In [24] the authors present an automata-based model of hyperdocuments with the goal of verifying trace-based properties by model checking.  ... 
doi:10.1007/978-3-642-22233-7_24 fatcat:kha4u3pjbvdj7aecqg6osiwsd4

Schema-based authoring and querying of large hypertexts

Bernd Amann, Michel Scholl, Antoine Rizk
1995 International Journal of Human-Computer Studies  
Systems such as Multicard/O¡ and MORE have moreover exploited conceptual schemas for querying the resulting hyperdocuments in a more structured way.  ...  Specifying the entry points, implies restricting the path expressions that must satisfy.  ...  In contrast to extensional "hard-wired" links, virtual links are the result of queries on the hyperdocument contents and structure.  ... 
doi:10.1006/ijhc.1995.1047 fatcat:gasz7rx4mnc3nokeb4qs6hhpai

Interpreted collaboration protocols and their use in groupware prototyping

Richard Furuta, P. David Stotts
1994 Proceedings of the 1994 ACM conference on Computer supported cooperative work - CSCW '94  
Trellis uniquely mixes hypermedia browsing with collaboration support.  ...  The correct and timely creation of systems for coordination of group work depends on the ability to express, analyze, and experiment with protocols for managing multiple work threads.  ...  In Figure 1 these appear in boldfaced and italics, consisting of variable and constant names and algebraic operations.  ... 
doi:10.1145/192844.192888 dblp:conf/cscw/FurutaS94 fatcat:7xrwk2mhvzbf7nrbupbcvtljmi

A Finite-State Machine Approach for Modeling and Analyzing RESTful Systems

Ivan Zuzak, Ivan Budiselic, Goran Delac
2011 Journal of Web Engineering  
The model uses the structure and execution semantics of statecharts to specify both the hierarchical organization and the browsing semantics of a hyperdocument.  ...  with a generalization of the model which would not be bound to standard HTTP methods as it currently is.  ... 
dblp:journals/jwe/ZuzakBD11 fatcat:y3dpgzixofapzoccpbbilib72u

Building CMS-based Web applications using a model-driven approach

Feliu Trias
2012 2012 Sixth International Conference on Research Challenges in Information Science (RCIS)  
Section 6.1 describes the data model employed with our algebra.  ...  With the RDF graph being a forest, one needs to specify from which trees the selection will be made.  ... 
doi:10.1109/rcis.2012.6240465 dblp:conf/rcis/Trias12 fatcat:bhbsaprjfbgcvpffjr6ooeljge

Design issues for general-purpose adaptive hypermedia systems

Hongjing Wu, Erik de Kort, Paul De Bra
2001 Proceedings of the twelfth ACM conference on Hypertext and Hypermedia - HYPERTEXT '01  
We draw parallels with static rule analysis in active database systems [1,2].  ...  Many adaptive hypermedia systems (AHS) are tightly integrated with one specific application.  ...  We also show a static analysis method to predict problems with confluence. However, as we shall see, confluence can only be guaranteed under severe restrictions for the rules.  ... 
doi:10.1145/504216.504256 dblp:conf/ht/WuKB01 fatcat:uuhlgetqqben3bgtvetw3myvci

Design issues for general-purpose adaptive hypermedia systems

Hongjing Wu, Erik de Kort, Paul De Bra
2001 Proceedings of the twelfth ACM conference on Hypertext and Hypermedia - HYPERTEXT '01  
We draw parallels with static rule analysis in active database systems [1,2].  ...  Many adaptive hypermedia systems (AHS) are tightly integrated with one specific application.  ...  We also show a static analysis method to predict problems with confluence. However, as we shall see, confluence can only be guaranteed under severe restrictions for the rules.  ... 
doi:10.1145/504255.504256 fatcat:mhnvwsxmcjdz5hudzpma4vrzlu

Collaboration and coordination in architectural design: approaches to computer mediated team work

Mark D. Gross, Ellen Yi-Luen Do, Raymond J. McCall, Wayne V. Citrin, Paul Hamill, Adrienne Warmack, Kyle S. Kuczun
1998 Automation in Construction  
The Electronic Cocktail Napkin and its mobile extension that runs on hand-held computers supports synchronous design with shared freehand drawing environments.  ...  The paper reports on three projects at our laboratory that deal respectively with synchronous collaborative design, asynchronous collaborative design, and design coordination.  ...  following support for the projects described in this report: NSF grant, DMII 93-1316, 'Avoiding interference conflicts in architectural subsystem layout-a constraint based approach'; a NASA SBIR contract with  ... 
doi:10.1016/s0926-5805(98)00055-7 fatcat:alefnaalpjaypl24lpcqr3rlpy

Reproducible Research in Computational Harmonic Analysis

David L. Donoho, Arian Maleki, Inam Ur Rahman, Morteza Shahram, Victoria Stodden
2009 Computing in science & engineering (Print)  
CopubliShed by the ieee CS and the aip Scientific computation is emerging as absolutely central to the scientific method, but the prevalence of very relaxed practices is leading to a credibility crisis  ...  its statistics and probability program (David Donoho and Iain Johnstone, co-PIs; DMS 92-09130, DMS 95-05150, DMS 00-772661, and DMS 05-05303) Processing, 1998Processing, -2000 Efficient Multiscale Methods  ...  If we view them as specifying points in a manifold, all the consistency conditions are naturally in force.  ... 
doi:10.1109/mcse.2009.15 fatcat:kjmpunnw2je37iclnd52ueyzmu

IMPLICATIONS OF HYPERMEDIA FOR COGNITION AND COMMUNICATION

Christopher J. Dede, David B. Palumbo
1991 Impact Assessment  
Large hyperdocuments may be more confusing.  ...  The spoken word, the written word, still images, and full-motion images are the major representational methods that people have evolved to symbolize and communicate ideas.  ...  Large hyperdocuments may be more confusing.  ... 
doi:10.1080/07349165.1991.9725701 fatcat:j6vz67omfjeddaivzkzuo542ta

Educational applications of multi-client synchronization through improved Web graph semantics

M. Capps, B. Laddi, D. Stotts, L. Nyland
Proceedings of WET ICE '96. IEEE 5th Workshop on Enabling Technologies; Infrastucture for Collaborative Enterprises  
The first modified browser [1] provided facilities for links with multiple heads and tails, thereby giving the content author the ability to direct concurrent and synchronized browsing streams.  ...  The SWGL uses a further-extended version of MHTML [2] , which includes a method for specifying protocol types and transition-activation algebras.  ...  PFA's can be used in similar manner to Petri nets for specifying hyperdocument structure, as explored in the Trellis system [3, 4] .  ... 
doi:10.1109/enabl.1996.555033 dblp:conf/wetice/CappsLSN96 fatcat:umvvwrjbmrf3dfaf3nkjcvjxt4

ADMIRE: an adaptive data model for meta search engines

Lieming Huang, Matthias Hemmje, Erich J. Neuhold
2000 Computer Networks  
Compared with related work, the special features of our work are that we focus more on the constraint of=between the terms, attribute order, and the impact of logical operator restraints.  ...  Because new search engines emerge frequently and old ones are updated when their function and content change, the data model needs good adaptivity and scalability to keep in step with the rapidly developing  ...  Because they do not deal with subtle differences comprehensively, most current methods use post-processing to refine the results.  ... 
doi:10.1016/s1389-1286(00)00033-5 fatcat:awaplaeifvhwreopdls4bcssce
« Previous Showing results 1 — 15 out of 22 results