1226 search results - page 193 / 246 » Proofs, Programs and Abstract Complexity |
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
GECCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper shows how the presence of states in test objects can hinder or render impossible the search for test data using evolutionary testing. Additional guidance is re...
103
click to vote
UM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper focuses on the utilization of the history of navigation within recommender systems. It aims at designing a collaborative recommender based on Markov models rel...
109
click to vote
COMPGEOM
1998
ACM
15 years 4 months ago
1998
ACM
Abstract. We propose a simple, general, randomized technique to reduce certain geometric optimization problems to their corresponding decision problems. These reductions increase t...
111
click to vote
TAGT
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...