16883 search results - page 264 / 3377 » Generalized Non-Reducible Descriptors |
163
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
There is a critical need for approaches to support software testing. Our research exploits the information described at Architectural Patterns to drive the definition of tests. As...
155
click to vote
PERVASIVE
2005
Springer
16 years 4 days ago
2005
Springer
Physical browsing is a mobile-device-based interaction method for pervasive computing. In this paper, we describe our research interests and experiences of physical browsing: the ...
138
click to vote
SIGADA
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
136
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
165
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
This contribution proposes an enhanced and generic selection model for Genetic Algorithms (GAs) and Genetic Programming (GP) which is able to preserve the alleles which are part o...