Sciweavers

373 search results - page 25 / 75
» Explicitly Modelling Model Debugging Environments
Sort
View
135
Voted
ATAL
2011
Springer
14 years 13 days ago
Interactive storytelling with temporal planning
Narrative time has an important role to play in Interactive Storytelling (IS) systems. In contrast to prevailing IS approaches which use implicit models of time, in our work we ha...
Julie Porteous, Jonathan Teutenberg, Fred Charles,...
114
Voted
CSCL
2006
109views more  CSCL 2006»
15 years 15 days ago
Supporting synchronous collaborative learning: A generic, multi-dimensional model
Future CSCL technologies are described by the community as flexible, tailorable, negotiable, and appropriate for various collaborative settings, conditions and contexts. This paper...
Jacques Lonchamp
92
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
Synthesis of live behaviour models
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
Nicolás D'Ippolito, Víctor A. Braber...
ICONS
2009
IEEE
15 years 7 months ago
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
Zhe Chen, Gilles Motet
79
Voted
ATAL
2007
Springer
15 years 6 months ago
A formal model for situated semantic alignment
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
Manuel Atencia, W. Marco Schorlemmer