Sciweavers

262 search results - page 34 / 53
» MHEG-5 - Aims, Concepts, and Implementation Issues
Sort
View
CAISE
1995
Springer
15 years 3 months ago
Hypertext Version Management in an Actor-based Framework
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
Antonina Dattolo, Vincenzo Loia
DOOD
1995
Springer
102views Database» more  DOOD 1995»
15 years 3 months ago
Active Database Rules with Transaction-Conscious Stable-Model Semantics
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
Carlo Zaniolo
CATE
2004
248views Education» more  CATE 2004»
15 years 1 months ago
SIMSE: An Interactive Simulation Game for Software Engineering Education
The typical software engineering education lacks a practical experience of the process of software engineering-students are presented with relevant process theory in lectures, but...
Emily Oh Navarro, André van der Hoek
SDL
2001
125views Hardware» more  SDL 2001»
15 years 1 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
CN
2008
87views more  CN 2008»
14 years 12 months ago
Dynamic IP configuration of terminals in broadcasting networks
The concept of synergy between broadcasting and telecommunication networks has been strengthened by the emergence of multi-modal terminals, which are used in a broadcast environme...
Georgios Gardikis, S. Orfanos, George Kormentzas, ...