Sciweavers

5200 search results - page 342 / 1040
» Symbolic models for control systems
Sort
View
ICEBE
2005
IEEE
135views Business» more  ICEBE 2005»
16 years 13 days 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....
GG
2008
Springer
15 years 8 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 11 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
213
Voted
SACMAT
2009
ACM
16 years 1 months 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