Sciweavers

5200 search results - page 342 / 1040
» Symbolic models for control systems
Sort
View
ICEBE
2005
IEEE
135views Business» more  ICEBE 2005»
15 years 11 months ago
GridPML: A Process Modeling Language and History Capture System for Grid Service Composition
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
Hua Ma, Susan Darling Urban, Yang Xiao, Suzanne W....
183
Voted
GG
2008
Springer
15 years 7 months ago
Model-Driven Development of Model Transformations
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
Pieter Van Gorp
IDEAS
1999
IEEE
166views Database» more  IDEAS 1999»
15 years 10 months ago
Recovery Protocols in Multi-Agent Probabilistic Reasoning Systems
In this paper, we introduce a probabilistic relational data model as the basis for developing multi-agent probabilistic reasoning systems. Since our model subsumes the traditional...
Cory J. Butz, S. K. Michael Wong
TNN
2008
171views more  TNN 2008»
15 years 6 months ago
Adaptive Dynamic Inversion via Time-Scale Separation
Abstract--This paper presents a full state feedback adaptive dynamic inversion method for uncertain systems that depend nonlinearly upon the control input. Using a specialized set ...
Naira Hovakimyan, E. Lavretsky, Chengyu Cao
SACMAT
2009
ACM
16 years 22 days ago
Trojan horse resistant discretionary access control
Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandat...
Ziqing Mao, Ninghui Li, Hong Chen, Xuxian Jiang