509 search results - page 30 / 102 » A Model-Driven Based Environment for Automatic Model Coordin... |
MDM
2004
Springer
14 years 4 months ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
COORDINATION
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
ICMCS
2000
IEEE
14 years 3 months ago
2000
IEEE
We describe a subsystem of a content-based image retrieval (CBIR) environment that supports a user in the definition of image similarity. Out of a single image or a set of query i...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
JSS
2006
13 years 10 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...