2317 search results - page 126 / 464 » Model based testing for agent systems |
111
Voted
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Although semiautomatic to...
144
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Future agent applications will increasingly represent human users autonomously or semi-autonomously in strategic interactions with similar entities. Hence, there is a growing need...
120
click to vote
ECBS
2002
IEEE
15 years 8 months ago
2002
IEEE
Network security has now become one of the most important aspects in computer systems and the Internet. Apart from strong encryption, there is no definite method of truly securing...
114
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
122
Voted
JLP
2006
15 years 3 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...