Sciweavers

9507 search results - page 410 / 1902
» Time-based language models
Sort
View
ICALT
2006
IEEE
16 years 26 days ago
Modeling the Case Study with LDL and Implementing it with LDI
This paper describes how we address the different steps proposed in the workshop “Comparing Educational Modeling Languages on a case study” with LDL and the associated infrast...
Christian Martel, Laurence Vignollet, Christine Fe...
ECOOP
2003
Springer
16 years 23 hour ago
Modeling Crosscutting in Aspect-Oriented Mechanisms
Modeling four aspect-oriented programming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of...
Hidehiko Masuhara, Gregor Kiczales
MODELLIERUNG
1998
15 years 8 months ago
A Comparison of Role Mechanisms in Object-Oriented Modeling
In most object-oriented languages and systems, objects must belong to a single most specific class. Relaxing this requirement, also known as role modeling, has been proposed by sev...
Gerti Kappel, Werner Retschitzegger, Wieland Schwi...
CN
2002
86views more  CN 2002»
15 years 6 months ago
MSL: a model for W3C XML Schema
MSL (Model Schema Language) is an attempt to formalize some of the core idea in XML Schema. The benefits of a formal description is that it is both concise and precise. MSL has al...
Allen Brown, Matthew Fuchs, Jonathan Robie, Philip...
JOLLI
2002
73views more  JOLLI 2002»
15 years 6 months ago
Extensive Games as Process Models
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...
Johan van Benthem