1040 search results - page 33 / 208 » Controlling Aspect Reentrancy |
FM
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
ISER
2000
Springer
15 years 2 months ago
2000
Springer
Abstract: This paper presents the mechanical hardware and control software of a novel high-performance active vision system. It is the latest in an ongoing research effort to devel...
AIPS
2004
15 years 7 days ago
2004
Decision makers on supply chains face an uncertain, dynamic, and strategic multiagent environment. We report on Deep Maize, an agent we designed to participate in the 2003 Trading...
RBAC
1997
15 years 5 days ago
1997
Role Based Access Control is only a subset of the security management and distributed systems management. Yet, the characteristics and use of the role objects in RBAC or Role Base...
MAAMAW
1994
Springer
15 years 2 months ago
1994
Springer
Advanced manufacturing control still remains an important topic in current research. Especially aspects of dynamics and of failures in the production process are insufficiently ta...