1592 search results - page 116 / 319 » The state of the email address |
AUTOMATICA
2006
13 years 10 months ago
2006
A detailed study on the design of decentralized Receding Horizon Control (RHC) schemes for decoupled systems is presented. An optimal control problem is formulated for a set of de...
ENTCS
2006
13 years 10 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
ACSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
Current post-mortem cyber-forensic techniques may cause significant disruption to the evidence gathering process by breaking active network connections and unmounting encrypted di...
IEAAIE
2010
Springer
13 years 8 months ago
2010
Springer
It is desirable to ensure that the thermal comfort conditions in offices are in line with the preferences of occupants. Controlling their offices correctly therefore requires the c...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
Regular Expressions (RegExes) are widely used in various applications to identify strings of text. Their flexibility, however, increases the complexity of the detection system and ...