913 search results - page 60 / 183 » Formal Agent Development: Framework to System |
142
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
134
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
144
click to vote
MATES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
130
click to vote
KBS
2007
15 years 4 months ago
2007
Data mining has proven a successful gateway for discovering useful knowledge and for enhancing business intelligence in a range of application fields. Incorporating this knowledg...
118
click to vote
IDEAS
2000
IEEE
15 years 8 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...