29143 search results - page 324 / 5829 » A Sortation System Model |
171
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
Based on five design principles extracted from a survey of location systems, we present the Location Stack, a layered software engineering model for location in ubiquitous comput...
251
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
170
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
The core problem we address in this paper is how to take a declarative conceptual representation of a complex system and produce an agent-based simulation of that model. In particu...
160
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
169
click to vote
ICSM
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...