4595 search results - page 548 / 919 » Reasoning about Plans |
239
click to vote
SEFM
2008
IEEE
16 years 2 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
186
click to vote
TPHOL
2008
IEEE
16 years 2 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
162
click to vote
BROADNETS
2007
IEEE
16 years 2 months ago
2007
IEEE
— The expected VoIP call capacity in a one hop IEEE 802.11b network with G.711 voice codec is about 85 simultaneous calls, but the actual observed capacity is only 5 calls even a...
185
click to vote
COMPSAC
2007
IEEE
16 years 2 months ago
2007
IEEE
Building an adaptive software system that can cope with changing requirements and changing environments presents four major challenges. These are (1) to receive, represent and rea...
133
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we analyze the operation of two scheduling algorithms, Class Based Queuing (CBQ) and Delay Bounded Hybrid Proportional Delay (DBHPD). We compare results obtained ...