Sciweavers

833 search results - page 18 / 167
» A Domain Specific Language for Project Execution Models
Sort
View
WETICE
1998
IEEE
14 years 6 days ago
A Framework for Adaptive Process Modeling and Execution (FAME)
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...
Perakath C. Benjamin, Madhav Erraguntla, Richard J...
IJAR
2008
83views more  IJAR 2008»
13 years 8 months ago
Decision-theoretic specification of credal networks: A unified language for uncertain modeling with sets of Bayesian networks
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Credal nets appear to be power...
Alessandro Antonucci, Marco Zaffalon
UML
2005
Springer
14 years 1 months ago
Weaving Executability into Object-Oriented Meta-languages
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
Pierre-Alain Muller, Franck Fleurey, Jean-Marc J&e...
MODELS
2007
Springer
14 years 2 months ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon
JOLLI
2007
128views more  JOLLI 2007»
13 years 7 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...