12438 search results - page 236 / 2488 » The Magic of a Number System |
154
click to vote
COMPSAC
1996
IEEE
15 years 9 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
202
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
1 In this paper we propose an approach to the design optimization of fault-tolerant hard real-time embedded systems, which combines hardware and software fault tolerance techniques...
136
click to vote
CLUSTER
2004
IEEE
15 years 9 months ago
2004
IEEE
Cluster Storage Systems where storage devices are distributed across a large number of nodes are able to reduce the I/O bottleneck problems present in most centralized storage sys...
154
click to vote
ESAW
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
174
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...