511 search results - page 40 / 103 » On Modelling Multi-agent Systems Declaratively |
CIDR
2009
13 years 8 months ago
2009
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
MMAS
2004
Springer
14 years 29 days ago
2004
Springer
Demand Bus System, a new public transportation system, is expected to be a convenient service for special transportation demands to solve more and more serious traffic problems con...
ECIR
2006
Springer
13 years 9 months ago
2006
Springer
We present a prototype system using array comprehensions to bridge the gap between databases and information retrieval. It allows researchers to express their retrieval models in t...
FM
2008
Springer
13 years 9 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
The aim of our research is to provide a unified model for the composition and management of consumer care services. We identify design, composition, distribution and management as...