124 search results - page 1 / 25 » Architectural Design via Declarative Programming |
ICEIS
2007
IEEE
13 years 11 months ago
2007
IEEE
COSIT
2011
Springer
12 years 5 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
SIGCOMM
2005
ACM
13 years 10 months ago
2005
ACM
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior researc...
CIDR
2009
13 years 6 months ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
DEBS
2007
ACM
13 years 9 months ago
2007
ACM
Architectural principles such as loose coupling are the key drivers behind the adoption of service-oriented architectures. Service-oriented architectures promote concepts such as c...