Sciweavers

2392 search results - page 281 / 479
» informs 2000
Sort
View
CIA
2000
Springer
15 years 9 months ago
Auction-Based Agent Negotiation via Programmable Tuple Spaces
Auctions are proposed as a distributed negotiation mean, particularly useful in multiagent systems where both cooperative and self-interested agents compete for resources and serv...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
CL
2000
Springer
15 years 9 months ago
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
Marcelo Arenas, Leopoldo E. Bertossi, Michael Kife...
DCW
2000
Springer
15 years 9 months ago
Multidimensional XML
: In Web applications it is often required to manipulate information of semistructured nature, which may present variations according to different circumstances. Multidimensional ...
Yannis Stavrakas, Manolis Gergatsoulis, Panos Rond...
ECAI
2000
Springer
15 years 9 months ago
Incremental Forward Checking for the Disjunctive Temporal Problem
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
Angelo Oddi, Amedeo Cesta
208
Voted
ECOOP
2000
Springer
15 years 9 months ago
Automated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
Peter Fröhlich, Johannes Link