Sciweavers

4763 search results - page 57 / 953
» On the Execution of Deep Models
Sort
View
DATE
2004
IEEE
133views Hardware» more  DATE 2004»
15 years 3 months ago
Model-Based Specification and Execution of Embedded Real-Time Systems
Tim Schattkowsky, Wolfgang Müller 0003
CAISE
2003
Springer
15 years 3 months ago
A Logic-Based Formalism to Model and Analyze Workflow Executions
Gianluigi Greco, Antonella Guzzo, Domenico Sacc&ag...
ATAL
2008
Springer
15 years 1 months ago
Petri net plans: a formal model for representation and execution of multi-robot plans
Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pi...