2573 search results - page 471 / 515 » Combinations of Modal Logics |
130
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
148
click to vote
COMPSEC
2004
15 years 3 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...
127
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
149
click to vote
CLUSTER
2002
IEEE
15 years 3 months ago
2002
IEEE
Distributed systems based on cluster of workstation are more and more difficult to manage due to the increasing number of processors involved, and the complexity of associated appl...
127
click to vote
INTEGRATION
2000
15 years 3 months ago
2000
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management. Objectoriented applications oft...