1681 search results - page 83 / 337 » Formal Design of Distributed Control Systems with Lustre |
KES
2006
Springer
13 years 10 months ago
2006
Springer
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
DEXAW
2000
IEEE
14 years 2 months ago
2000
IEEE
Holonic Manufacturing Systems have emerged over the last seven years as strategy for manufacturing control system design. A new approach called Holonic ComponentBased Architecture...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
FOSAD
2000
Springer
14 years 2 months ago
2000
Springer
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...
CSFW
2010
IEEE
14 years 2 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...