2588 search results - page 45 / 518 » Engineering Systems Which Generate Emergent Functionalities |
TASE
2010
IEEE
13 years 4 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
ICCAD
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
SOFIA (Safe Automatic Flight Back and Landing of Aircraft) project is a response to the challenge of developing concepts and techniques enabling the safe and automatic return to g...
WETICE
2005
IEEE
14 years 3 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
CCS
2010
ACM
13 years 6 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...