1547 search results - page 185 / 310 » The Isabelle Collections Framework |
102
Voted
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connect...
81
Voted
AGENTS
1998
Springer
15 years 5 months ago
1998
Springer
We present a framework for de ning trading scenarios based on sh market auctions. In these scenarios, agents of arbitrary complexity can participate in electronic auctions under ...
108
Voted
ICFP
1998
ACM
15 years 5 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
147
click to vote
ATAL
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
101
Voted
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...