1676 search results - page 190 / 336 » Formal Development of Self-organising Systems |
161
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
139
click to vote
AI
2003
Springer
15 years 12 months ago
2003
Springer
The Internet has opened opportunities for efficient on-line trading, and researchers have developed algorithms for various auctions, as well as exchanges for standardized commoditi...
184
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
171
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
158
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between...