8337 search results - page 311 / 1668 » Reasoning With Characteristic Models |
160
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
Agent systems are highly distributed and feature widespread coordination and collaboration. Because of these characteristics, a traditional object oriented approach to software de...
172
click to vote
DMIN
2007
15 years 8 months ago
2007
We study the extraction of characteristics of user behavior in video session encoded as stochastic matrices of finite Markov chain. These behaviors are clustered using a dissimil...
165
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
170
click to vote
IJIT
2004
15 years 8 months ago
2004
An improved processing description to be employed in biosonar signal processing in a cochlea model is proposed and examined. It is compared to conventional models using a modified ...
150
click to vote
WSC
1998
15 years 8 months ago
1998
Achieving the best possible cost performance for a system is often the goal of the manager of that system. This is true for large systems (such as an entire railroad system) as we...