372 search results - page 10 / 75 » A design framework for generating BDI-agents from goal model... |
SCANGIS
2003
13 years 9 months ago
2003
The management and the processing of Earth science data has been gaining importance over the last decade due to higher data volumes generated by a larger number of instruments and ...
ICDM
2005
IEEE
14 years 1 months ago
2005
IEEE
Online auction Web sites are fast changing, highly dynamic, and complex as they involve tremendous sellers and potential buyers, as well as a huge amount of items listed for biddi...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
CODES
1999
IEEE
14 years 1 days ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
DAC
2007
ACM
13 years 11 months ago
2007
ACM
This paper presents a statistical framework to cooperatively design and develop technology, product circuit, benchmarking and model early in the development stage. The statistical...