4401 search results - page 219 / 881 » Computing with Default Logic |
234
click to vote
KIVS
2011
Springer
14 years 7 months ago
2011
Springer
Railway interlockings are dominated by highly proprietary systems. We present the development project Alister 2.0 – an interlocking system based on industry-proven standard comp...
189
click to vote
BIRTHDAY
2012
Springer
14 years 6 days ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
143
click to vote
ICLP
2001
Springer
15 years 9 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
150
click to vote
CLOUDCOM
2010
Springer
15 years 1 months ago
2010
Springer
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...
150
click to vote
JAVA
2001
Springer
15 years 9 months ago
2001
Springer
CX, a network-based computational exchange, is presented. The system’s design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks, e...