7623 search results - page 910 / 1525 » Constructive Volume Modeling |
193
click to vote
ACNS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We propose a micro-payment scheme for symmetric multihop cellular networks that encourages intermediaries to transmit packets and recipients to provide auditing informati...
188
click to vote
AMS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
177
click to vote
BPM
2005
Springer
16 years 22 days ago
2005
Springer
The 20 workflow patterns proposed by Van der Aalst et al. provide a comprehensive benchmark for comparing control flow aspects of process modelling languages. In this paper, we p...
208
click to vote
CIS
2005
Springer
16 years 22 days ago
2005
Springer
Different from familiar clustering objects, text documents have sparse data spaces. A common way of representing a document is as a bag of its component words, but the semantic re...
188
click to vote
FM
2005
Springer
16 years 22 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...