913 search results - page 60 / 183 » Formal Agent Development: Framework to System |
151
click to vote
FSTTCS
2005
Springer
15 years 11 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...
146
click to vote
EUROMICRO
1996
IEEE
15 years 9 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...
161
click to vote
MATES
2004
Springer
15 years 10 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...
143
click to vote
KBS
2007
15 years 5 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...
139
click to vote
IDEAS
2000
IEEE
15 years 10 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...