5668 search results - page 1000 / 1134 » The case for software evolution |
109
click to vote
ESAW
2004
Springer
15 years 7 months ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
132
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract Abstract. In this paper we improve the analysis of approximation algorithms based on semidefinite programming for the maximum graph partitioning problems MAX-k-CUT, MAX-k...
112
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
A computational model for learning languages in the limit from full positive data and a bounded number of queries to the teacher (oracle) is introduced and explored. Equivalence, ...
125
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...
103
Voted
GG
2004
Springer
15 years 7 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...