1080 search results - page 193 / 216 » Protocol Based Communication for Situated Multi-Agent System... |
SIGOPSE
2000
ACM
15 years 2 months ago
2000
ACM
The demand for network-enabled limited-footprint mobile devices is increasing rapidly. A central challenge that must be addressed in order to use these next-generation devices eff...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
62
Voted
CN
2007
14 years 9 months ago
2007
—Interactivity in the transport protocol can greatly benefit transport friendly applications generating streaming traffic. Recently we have developed iTCP, which can provide even...
107
click to vote
SIGMOBILE
2008
14 years 9 months ago
2008
In this article, we outline a research agenda for developing protocols and algorithms for densely populated RFID based systems covering a wide geographic area. This will need mult...
80
Voted
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Traffic classification is the ability to identify and categorize network traffic by application type. In this paper, we consider the problem of traffic classification in the netwo...