Sciweavers

101 search results - page 18 / 21
» Towards Integration of State Machines and Object-Oriented La...
Sort
View
AICT
2006
IEEE
210views Communications» more  AICT 2006»
14 years 1 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
ASM
2003
ASM
14 years 25 days ago
An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
Ileana Ober
DISCO
1993
156views Hardware» more  DISCO 1993»
13 years 11 months ago
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
Peter Fritzson, Vadim Engelson, Lars Viklund
ESWS
2010
Springer
13 years 6 months ago
The Semantic Gap of Formalized Meaning
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
Sebastian Hellmann
UMUAI
2008
192views more  UMUAI 2008»
13 years 7 months ago
Automatic detection of learner's affect from conversational cues
We explored the reliability of detecting a learner's affect from conversational features extracted from interactions with AutoTutor, an intelligent tutoring system that helps...
Sidney K. D'Mello, Scotty D. Craig, Amy M. Withers...