Sciweavers

29172 search results - page 134 / 5835
» Modeling Systems in CLP
Sort
View
AUTONOMICS
2008
ACM
14 years 3 days 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»
13 years 11 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»
13 years 11 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
14 years 4 months ago
A hybrid system model of seasonal snowpack water balance
Branko Kerkez, Steven D. Glaser, John A. Dracup, R...
RTSS
1993
IEEE
14 years 2 months ago
Symbolic Model Checking for Event-Driven Real-Time Systems
Jin Yang, Aloysius K. Mok, Farn Wang