14244 search results - page 2697 / 2849 » Modeling Program Predictability |
100
click to vote
ISN
1994
Springer
15 years 2 months ago
1994
Springer
There is a common unjustified belief that OSI management technology, despite being very powerful, is difficult to implement because of the complexity of the underlying service/prot...
100
Voted
NGITS
1993
Springer
15 years 2 months ago
1993
Springer
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
SAC
1994
ACM
15 years 2 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
ISAAC
1992
Springer
15 years 2 months ago
1992
Springer
In the multilevel generalized assignment problem (MGAP) agents can perform tasks at more than one efficiency level. Important manufacturing problems, such as lot sizing, can be ea...
102
click to vote
CADE
1990
Springer
15 years 2 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...