1116 search results - page 178 / 224 » Applying Predicate Abstraction to Abstract State Machines |
DEXAW
2010
IEEE
15 years 7 days ago
2010
IEEE
Abstract--In the context of a project aimed at the development of a cooperative and distributed Authoring System to facilitate the production, sharing, and integration of new and e...
85
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract--Interference between nodes directly limits the capacity of mobile ad hoc networks. This paper focuses on spatial interference cancelation with perfect channel state infor...
83
Voted
MMS
2008
14 years 11 months ago
2008
Abstract Multimedia applications operating in today's Internet have to employ some form of error resilience to cope with losses. For interactive applications with strict delay...
EWC
2000
14 years 11 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
SIMPRA
2010
14 years 9 months ago
2010
Abstract — We apply finite state-dependent queueing networks to model mobility in mobile communication systems. Although they have been successfully used in the past to model ve...