Sciweavers

29172 search results - page 134 / 5835
» Modeling Systems in CLP
Sort
View
AUTONOMICS
2008
ACM
15 years 6 months ago
On modeling of self-organizing systems
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
Richard Holzer, Hermann de Meer
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
15 years 5 months ago
Refined instrumental variable methods for identifying hammerstein models operating in closed loop
This article presents an instrumental variable method dedicated to non-linear Hammerstein systems operating in closed loop. The linear process is a Box
Vincent Laurain, Marion Gilson, Hugues Garnier
DBSEC
2010
152views Database» more  DBSEC 2010»
15 years 6 months ago
Modelling Dynamic Access Control Policies for Web-Based Collaborative Systems
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
Hasan Qunoo, Mark Ryan
HYBRID
2010
Springer
15 years 11 months ago
A hybrid system model of seasonal snowpack water balance
Branko Kerkez, Steven D. Glaser, John A. Dracup, R...
RTSS
1993
IEEE
15 years 8 months ago
Symbolic Model Checking for Event-Driven Real-Time Systems
Jin Yang, Aloysius K. Mok, Farn Wang