4595 search results - page 609 / 919 » Reasoning about Plans |
108
Voted
ENTCS
2002
15 years 16 days ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
123
Voted
AI
1999
Springer
15 years 13 days ago
1999
Springer
Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challengingresearch opportunities. In this article, we introduce per...
117
click to vote
JFP
2002
15 years 12 days ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
108
click to vote
LISP
2002
15 years 12 days ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
97
Voted
TRANSCI
2002
15 years 11 days ago
2002
Vendor managed inventory replenishment is a business practice in which vendors monitor their customers' inventories, and decide when and how much inventory should be replenis...