511 search results - page 66 / 103 » More Precise Partition Abstractions |
116
click to vote
SEBD
2007
15 years 4 months ago
2007
Abstract. Recently, more and more web services are being made available and their use can potentially highly increase cooperation in P2P systems, where different partners intend t...
137
click to vote
KAIS
2007
15 years 2 months ago
2007
Abstract. Outlier detection is concerned with discovering exceptional behaviors of objects. Its theoretical principle and practical implementation lay a foundation for some importa...
138
click to vote
AAI
2000
15 years 2 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
100
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract—In this paper we ask which properties of a distributed network can be computed from a few amount of local information provided by its nodes. The distributed model we con...
123
click to vote
RV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...