1993 search results - page 297 / 399 » On Action Theory Change |
JSAC
2006
13 years 10 months ago
2006
The frequent and large-scale network attacks have led to an increased need for developing techniques for analyzing network traffic. This paper presents NetViewer, a network measure...
JLP
2007
13 years 10 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
AAMAS
2004
Springer
13 years 10 months ago
2004
Springer
The development of the World Wide Web has changed the way we think about information. Information on the web is distributed, updates are made asynchronously and resources come onli...
CSCW
1999
ACM
13 years 9 months ago
1999
ACM
No work is inherently either visible or invisible. We always "see" work through a selection of indicators: straining muscles, finished artifacts, a changed state of affai...
TOMACS
2002
13 years 9 months ago
2002
In this paper we consider a two-node tandem Jackson network. Starting from a given state, we are interested in estimating the probability that the content of the second buffer exc...