372 search results - page 33 / 75 » A design framework for generating BDI-agents from goal model... |
CJ
2010
13 years 6 months ago
2010
A policy for a minimal reactive agent is a set of condition-action rules used to determine its response to perceived environmental stimuli. When the policy pre-disposes the agent t...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
TROB
2002
2002
DPAC: an object-oriented distributed and parallel computing framework for manufacturing applications
13 years 8 months ago
Parallel and distributed computing infrastructure are increasingly being embraced in the context of manufacturing applications, including real-time scheduling. In this paper, we pr...
GIS
2002
ACM
13 years 8 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...
ATVA
2009
Springer
14 years 1 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...