2114 search results - page 181 / 423 » A model of cooperative threads |
COMCOM
2008
13 years 10 months ago
2008
In this paper, we study using game theory the problem of detecting intrusions in wired infrastructure networks. Detection is accomplished by sampling a subset of the transmitted p...
HT
2005
ACM
14 years 4 months ago
2005
ACM
This paper describes how the XML based RSS syndication formats used in weblogs can be utilized as the distribution medium for geo-spatial hypermedia, and how this approach can be ...
ANSS
1997
IEEE
14 years 3 months ago
1997
IEEE
HPAM Sim is an execution-driven simulator of heterogeneous machines. HPAM Sim allows the simulation of target machines consisting of different processors and interconnection netwo...
KR
1992
Springer
14 years 2 months ago
1992
Springer
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
CAV
2008
Springer
14 years 22 days ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...