77016 search results - page 14804 / 15404 » Modeling Modeling |
197
click to vote
PEWASUN
2004
ACM
16 years 19 days ago
2004
ACM
A mobile ad hoc network consists of mobile nodes that can move freely in an open environment. Communicating nodes in a wireless and mobile ad hoc network usually seek the help of ...
181
click to vote
PODC
2004
ACM
16 years 19 days ago
2004
ACM
The Border Gateway Protocol (BGP) for interdomain routing is designed to allow autonomous systems (ASes) to express policy preferences over alternative routes. We model these pref...
205
click to vote
PODC
2004
ACM
16 years 19 days ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
211
click to vote
POPL
2004
ACM
16 years 19 days ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
203
click to vote
SAC
2004
ACM
16 years 19 days ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...