14331 search results - page 407 / 2867 » On the modeling and analysis of obligations |
222
click to vote
MMB
2001
Springer
15 years 11 months ago
2001
Springer
This paper provides a performance evaluation of the TETRAPOL random access protocol. The results are based on a Markovian model which is also presented. The Markovian model is use...
166
click to vote
GI
1998
Springer
15 years 11 months ago
1998
Springer
Rapidlychanging business processes require quick adaption of supportinginformationsystems. Component technologies in general and business objects, in particular seem a promising a...
188
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
179
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
175
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we derive a simpler form of Particle Swarm Optimiser (PSO) which still retains the key properties of the original model. We do so by progressively altering the origin...