Sciweavers

4763 search results - page 34 / 953
» On the Execution of Deep Models
Sort
View
PROMAS
2005
Springer
14 years 25 days ago
A Model-Based Executive for Commanding Robot Teams
The paper presents a way to robustly command a system of systems as a single entity. Instead of modeling each component system in isolation and then manually crafting interaction p...
Anthony Barrett
VVEIS
2008
13 years 8 months ago
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
Kenro Yatake, Takuya Katayama
GI
2005
Springer
14 years 27 days ago
Modelling and Execution of Complex Semantic Transactions using WERIGO Metamodel
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...
Alexander Tarabrin
WETICE
1998
IEEE
13 years 11 months 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...
FGCS
2000
96views more  FGCS 2000»
13 years 7 months ago
Logicflow execution model for parallel databases
The LOGFLOW parallel Prolog system is similar to the recent parallel database systems concerning its dataflow execution model and its capability of running on othing architectures...
Péter Kacsuk, Norbert Podhorszki