4211 search results - page 800 / 843 » Types as Abstract Interpretations |
156
click to vote
ASIAN
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
186
click to vote
BTW
2007
Springer
16 years 13 days ago
2007
Springer
Abstract: Peer data management systems (PDMS) are a highly dynamic, decentralized infrastructure for large-scale data integration. They consist of a dynamic set of autonomous peers...
165
click to vote
CIKM
2007
Springer
16 years 13 days ago
2007
Springer
Newsgroup participants interact with their communities through conversation threads. They may respond to a message to answer a question, debate a topic, support or disagree with a...
205
click to vote
CPAIOR
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
177
click to vote
DCOSS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. We propose a distributed coalition formation strategy for collaborative sensing tasks in camera sensor networks. The proposed model supports taskdependent node selection ...