84 search results - page 8 / 17 » Modelling and Specifying Scenarios and Agent Behaviour |
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
95
Voted
ISOLA
2010
Springer
14 years 7 months ago
2010
Springer
We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the U...
94
Voted
EPIA
2003
Springer
15 years 2 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
66
Voted
MABS
2007
Springer
15 years 3 months ago
2007
Springer
Crowd simulation is a complex and challenging domain. Crowds demonstrate many complex behaviours and are consequently difficult to model for realistic simulation systems. Analyzing...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
There is currently an ongoing demand for richer Intelligent Virtual Environments (IVEs) populated with social intelligent agents. As a result, many agent architectures are taking ...