Sciweavers

598 search results - page 68 / 120
» Separation of Concerns and Consistent Integration in Require...
Sort
View
INFOCOM
1998
IEEE
14 years 1 days ago
On Statistical Multiplexing, Traffic Mixes, and VP Management
ATM-based integrated services networks are likely to rely on the Virtaal Path (VP) concept as an intermediate resource management layer wherein key decisions concerning resource a...
Ching-Fong Su, Gustavo de Veciana
JUCS
2010
135views more  JUCS 2010»
13 years 2 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
DSRT
2008
IEEE
14 years 2 months ago
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
ICMT
2009
Springer
14 years 2 months ago
A Simple Game-Theoretic Approach to Checkonly QVT Relations
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
Perdita Stevens
CIKM
2007
Springer
14 years 1 months ago
Modeling historical and future movements of spatio-temporal objects in moving objects databases
Spatio-temporal databases deal with geometries changing over time. In general, geometries do not only change discretely but continuously; hence we are dealing with moving objects....
Reasey Praing, Markus Schneider