Sciweavers

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