2586 search results - page 263 / 518 » Automatic Abstraction for Congruences |
197
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
153
click to vote
CIVR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we present an audio-based event detection approach shown to be effective when applied to the Sports broadcast data. The main benefit of this approach is ...
174
click to vote
DALT
2003
Springer
15 years 11 months ago
2003
Springer
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...
147
click to vote
DBPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...
166
click to vote
ESAW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In open agent societies, communication protocols and strategies cannot be assumed to always match perfectly, because they are typically specified by different designers...