2858 search results - page 495 / 572 » Logics with Aggregate Operators |
142
click to vote
ECSQARU
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
169
click to vote
FMCO
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
177
click to vote
HPCC
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Constructing flash memory based storage, FTL (Flash Translation Layer) manages mapping between logical address and physical address. Since FTL writes every data to new r...
167
click to vote
ICLP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
186
click to vote
ICN
2007
Springer
16 years 10 days ago
2007
Springer
— In this paper, we propose a simple but effective VPN mechanism called RING-VPN (Ring-based Virtual Private Network) that realizes a high scalability in terms of the number of V...