Sciweavers

546 search results - page 63 / 110
» Multivariable control systems - an engineering approach
Sort
View
UML
2005
Springer
14 years 2 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
WOSP
2005
ACM
14 years 2 months ago
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
Holger Hermanns, David N. Jansen, Yaroslav S. Usen...
GRID
2004
Springer
14 years 2 months ago
A Novel Architecture for Realizing Grid Workflow using Tuple Spaces
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
Jia Yu, Rajkumar Buyya
ECRTS
2003
IEEE
14 years 2 months ago
Error-Driven QoS Management in Imprecise Real-Time Databases
In applications such as web-applications, e-commerce, and engine control, the demand for real-time data services has increased. In these applications, requests have to be processe...
Mehdi Amirijoo, Jörgen Hansson, Sang Hyuk Son
ICRA
1994
IEEE
236views Robotics» more  ICRA 1994»
14 years 24 days ago
Neptune: Above-Ground Storage Tank Inspection Robot System
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...
Hagen Schempf