1676 search results - page 120 / 336 » Formal Development of Self-organising Systems |
SEFM
2008
IEEE
15 years 4 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
ISAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
101
click to vote
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
The paper reports a study of a videoconference-based environment in decentralized university education and factors determining the success of teaching and learning in the environm...
ATAL
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...