Sciweavers

1835 search results - page 40 / 367
» Functional Programming of Behavior-Based Systems
Sort
View
INFORMS
2010
90views more  INFORMS 2010»
15 years 25 days ago
Approximate Dynamic Programming for Ambulance Redeployment
We present an approximate dynamic programming approach for making ambulance redeployment decisions in an emergency medical service system. The primary decision is where we should ...
Matthew S. Maxwell, Mateo Restrepo, Shane G. Hende...
104
Voted
ICDCSW
2002
IEEE
15 years 7 months ago
Taxonomy of Distributed Event-Based Programming Systems
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
René Meier, Vinny Cahill
CADE
2006
Springer
16 years 2 months ago
Dynamic Logic with Non-rigid Functions
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
Bernhard Beckert, André Platzer
FROCOS
2000
Springer
15 years 6 months ago
Compiling Multi-Paradigm Declarative Programs into Prolog
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
Sergio Antoy, Michael Hanus
WOA
2010
15 years 7 days ago
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
Matteo Baldoni, Cristina Baroglio, Federico Bergen...