974 search results - page 147 / 195 » Formal Modeling of Communication Traces |
COORDINATION
2009
Springer
15 years 12 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper crystallises out some key findings of knowledge management practices from a Finnish survey on the insurance industry. 15 Finnish insurance companies of different sizes ...
105
click to vote
ISCC
2002
IEEE
15 years 4 months ago
2002
IEEE
Mobile ad hoc networking offers convenient infrastructureless communication over the shared wireless channel. However, the nature of ad hoc networks makes them vulnerable to secur...
ECAIW
1994
Springer
15 years 2 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
119
click to vote
MASCOTS
2004
15 years 22 days ago
2004
Architectural designs for routers and networks of routers to support mobile communication are analysed for their end-to-end performance using a simple Markov model. In view of the...