8056 search results - page 1180 / 1612 » Object Behavior Analysis |
146
click to vote
IMC
2003
ACM
16 years 14 hour ago
2003
ACM
By source-level IP packet burst, we mean several IP packets sent back-to-back from the source of a flow. We first identify several causes of source-level bursts, including TCP...
195
click to vote
SIGDOC
2003
ACM
16 years 11 hour ago
2003
ACM
Field usability research involves observing people in their own environments—for example, workplaces, homes, and schools—to learn their normal or natural behavior. Through fie...
189
click to vote
SIGECOM
2003
ACM
16 years 11 hour ago
2003
ACM
We consider the problem of designing fast and strategyproof exchanges for dynamic resource allocation problems in distributed systems. The exchange is implemented as a sequence of...
189
click to vote
SIGSOFT
2003
ACM
16 years 10 hour ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
163
click to vote
ATAL
2003
Springer
16 years 17 min ago
2003
Springer
This paper unifies two recent strands of research in multiagent system design. One, commitments are widely recognized as capturing important aspects of interactions among agents,...