406 search results - page 30 / 82 » PASSing the provenance challenge |
136
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
190
click to vote
ICARCV
2002
IEEE
15 years 11 months ago
2002
IEEE
Cooperative robotic systems provide design and implementation challenges that are not easy to solve. This paper describes a parallel implementation for evolving cooperative roboti...
166
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we consider the problem of high accuracy localization of mobile nodes in a multipath-rich environment where sub-meter accuracies are required. We employ a peer to pee...
221
click to vote
ICUIMC
2011
ACM
14 years 9 months ago
2011
ACM
Efficient and fair resource allocation associated with congestion control in multi-hop cognitive radio networks (CRN) is a challenging problem. In this paper, we consider their mu...
152
click to vote
SAC
2010
ACM
16 years 28 days ago
2010
ACM
Architectural patterns provide proven solutions to recurring design problems that arise in a system context. A major challenge for modeling patterns in a system design is effectiv...