3828 search results - page 241 / 766 » Proof-Based System Engineering Using a Virtual System Model |
198
click to vote
SIGCOMM
2005
ACM
16 years 2 days ago
2005
ACM
This paper introduces a lightweight, scalable and accurate framework, called Meridian, for performing node selection based on network location. The framework consists of an overla...
176
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
The shadow agent is a new type of intelligent virtual agent exploiting the metaphor of the shadow as a medium. The core of the shadow agent is a behavioral architecture inspired b...
192
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
177
click to vote
SIGMETRICS
2003
ACM
15 years 11 months ago
2003
ACM
We analyze the asymptotic tail distribution of stationary waiting times and stationary virtual waiting times in a singleserver queue with long-range dependent arrival process and ...
188
click to vote
CSMR
2009
IEEE
15 years 11 months ago
2009
IEEE
Creating accurate models of information systems is an important but challenging task. It is generally well understood that such modeling encompasses general scientific issues, bu...