Sciweavers

546 search results - page 6 / 110
» An Action Semantics for MML
Sort
View
87
Voted
CAISE
2009
Springer
15 years 6 months ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez
91
Voted
ESWS
2009
Springer
15 years 6 months ago
Semanta - Semantic Email in Action
Semanta is a system supporting Semantic Email, implemented as an add-in to two popular Mail User Agents, using existing email transport technology and integrated with the Social Se...
Simon Scerri, Ioana Giurgiu, Brian Davis, Siegfrie...
AIPS
2007
15 years 2 months ago
Angelic Semantics for High-Level Actions
High-level actions (HLAs) lie at the heart of hierarchical planning. Typically, an HLA admits multiple refinements into primitive action sequences. Correct descriptions of the ef...
Bhaskara Marthi, Stuart J. Russell, Jason Wolfe
73
Voted
LREC
2010
131views Education» more  LREC 2010»
15 years 1 months ago
Classifying Action Items for Semantic Email
Email can be considered as a virtual working environment in which users are constantly struggling to manage the vast amount of exchanged data. Although most of this data belongs t...
Simon Scerri, Gerhard Gossen, Brian Davis, Siegfri...
ENTCS
2002
132views more  ENTCS 2002»
14 years 11 months ago
Action Semantics and ASF+SDF: System Demonstration
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
Peter D. Mosses