Sciweavers

2339 search results - page 416 / 468
» Models and Tools for Mulan Applications
Sort
View
AINA
2009
IEEE
15 years 11 months ago
DAVO: A Domain-Adaptable, Visual BPEL4WS Orchestrator
The Business Process Execution Language for Web Services (BPEL4WS) is the de facto standard for the composition of web services into complex, valued-added workflows in both indus...
Tim Dörnemann, Markus Mathes, Roland Schwarzk...
ECBS
2002
IEEE
119views Hardware» more  ECBS 2002»
15 years 11 months ago
Managing Complex Temporal Requirements in Real-Time Control Systems
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
Kristian Sandström, Christer Norström
HPDC
2002
IEEE
15 years 11 months ago
Predicting Sporadic Grid Data Transfers
The increasingly common practice of replicating datasets and using resources as distributed data stores in Grid environments has led to the problem of determining which replica ca...
Sudharshan Vazhkudai, Jennifer M. Schopf
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
15 years 11 months ago
Mars Polar Lander Fault Identification Using Model-based Testing
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
Mark R. Blackburn, Robert Busser, Aaron Nauman, Ro...
ICIAR
2009
Springer
15 years 10 months ago
VizDraw: A Platform to Convert Online Hand-Drawn Graphics into Computer Graphics
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
Akshaya Kumar Mishra, Justin A. Eichel, Paul W. Fi...