Sciweavers

289 search results - page 32 / 58
» Compositional analysis for linear control systems
Sort
View
ENTCS
2006
146views more  ENTCS 2006»
13 years 9 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
EDOC
2003
IEEE
14 years 2 months ago
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, ...
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
14 years 3 months ago
Fast computation of frequency response functions for a class of nonlinear systems
— One of the important and efficient tools in system analysis is the analysis of responses to harmonic excitations. For linear systems the information on such responses is conta...
Alexey V. Pavlov, Nathan van de Wouw
AIM
2002
13 years 9 months ago
Computational Vulnerability Analysis for Information Survivability
The Infrastructure of modern society is controlled by software systems. These systems are vulnerable to attacks; several such attacks, launched by "recreation hackers" h...
Howard E. Shrobe
ICRA
2006
IEEE
103views Robotics» more  ICRA 2006»
14 years 3 months ago
Soft Object Manipulation by Simultaneous Control of Motion and Deformation
— One of features of soft object manipulation is motion during deformation of the soft body. We analyze the stability of soft object manipulation by simultaneous control of motio...
Mizuho Shibata, Shinichi Hirai