Sciweavers

1703 search results - page 313 / 341
» Model interoperability via Model Driven Development
Sort
View
ACSD
2001
IEEE
91views Hardware» more  ACSD 2001»
14 years 1 months ago
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
Marta Pietkiewicz-Koutny
ATAL
2008
Springer
13 years 11 months ago
A multi-agent simulation system for prediction and scheduling of aero engine overhaul
The Aero Repair and Overhaul industry is facing an increasing challenge of prediction and scheduling of engine overhauls to remain competitive in a complex business arena. An appr...
Armin Stranjak, Partha Sarathi Dutta, Mark Ebden, ...
LREC
2010
176views Education» more  LREC 2010»
13 years 11 months ago
TTS Evaluation Campaign with a Common Spanish Database
This paper describes the first TTS evaluation campaign designed for Spanish. Seven research institutions took part in the evaluation campaign and developed a voice from a common s...
Iñaki Sainz, Eva Navas, Inma Hernáez...
DAGSTUHL
2001
13 years 11 months ago
Execution-Time Plan Management for a Cognitive Orthotic System
In this paper we discuss our work on plan management in the Autominder cognitive orthotic system. Autominder is being designed as part of an initiative on the development of roboti...
Martha E. Pollack, Colleen E. McCarthy, Sailesh Ra...
CCGRID
2010
IEEE
13 years 10 months ago
Unibus-managed Execution of Scientific Applications on Aggregated Clouds
In this paper we examine the feasibility of running message passing applications across clouds. Our on-going Unibus project aims to provide a flexible approach to provisioning and ...
Jaroslaw Slawinski, Magdalena Slawiñska, Va...