Sciweavers

297 search results - page 30 / 60
» Validation of an agent based system using Petri Nets
Sort
View
111
Voted
COMCOM
2007
83views more  COMCOM 2007»
15 years 14 days ago
Cost analysis and optimization for IP multicast group management
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
Yongjun Li, James Zijun Wang
SIGMETRICS
2002
ACM
107views Hardware» more  SIGMETRICS 2002»
15 years 3 days ago
Passage time distributions in large Markov chains
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
Peter G. Harrison, William J. Knottenbelt
90
Voted
PDSE
2000
71views more  PDSE 2000»
15 years 1 months ago
Early Evaluation of Design Options for Distributed Systems
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of ion. An object-oriented design technique based on UML notations...
Holger Giese, Guido Wirtz
82
Voted
ICES
2003
Springer
79views Hardware» more  ICES 2003»
15 years 5 months ago
Using Genetic Programming to Generate Protocol Adaptors for Interprocess Communication
Abstract. As mobile devices become more powerful, interprocess communication becomes increasingly more important. Unfortunately, this larger freedom of mobility gives rise to unkno...
Werner Van Belle, Tom Mens, Theo D'Hondt
RE
2002
Springer
15 years 3 days ago
A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System
Requirements analysis for an Intrusion Detection System (IDS) involves deriving requirements for the IDS from analysis of the intrusion domain. When the IDS is, as here, a collecti...
Guy G. Helmer, Johnny S. Wong, Mark Slagell, Vasan...