11160 search results - page 322 / 2232 » Incompleteness in a General Setting |
225
click to vote
IEEESCC
2006
IEEE
16 years 1 months ago
2006
IEEE
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
168
click to vote
ISESE
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
188
click to vote
MSWIM
2006
ACM
16 years 1 months ago
2006
ACM
The topic of this paper is the algorithmic development of routing techniques for Delay Tolerant Networks (DTNs). Assuming a store and forward type of network transfers, our main o...
207
click to vote
SIGCOMM
2006
ACM
16 years 1 months ago
2006
ACM
We present Wit, a non-intrusive tool that builds on passive monitoring to analyze the detailed MAC-level behavior of operational wireless networks. Wit uses three processing steps...
185
click to vote
3DIM
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper describes a fast, simultaneous alignment method for a large number of range images. Generally the most time-consuming task in aligning range images is searching corresp...