7943 search results - page 1529 / 1589 » A calculus for costed computations |
177
click to vote
ESAW
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present analysis and calibration techniques that exploit knowledge about a multi agent society in order to calibrate the system parameters of a corresponding socie...
204
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
160
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
161
click to vote
IPSN
2004
Springer
15 years 11 months ago
2004
Springer
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
181
click to vote
JIT
2004
Springer
15 years 11 months ago
2004
Springer
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...