1610 search results - page 211 / 322 » A Transaction Model for Mobile Computing |
132
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
230
click to vote
GIS
2003
ACM
16 years 5 months ago
2003
ACM
Location-Based Services (LBSs) utilize information about users' locations through location-aware mobile devices to provide services, such as nearest features of interest, the...
154
click to vote
APNOMS
2006
Springer
15 years 7 months ago
2006
Springer
Peer-to-Peer systems are based on the concept of resources localization and mutualization in dynamic context. In specific environment such as mobile networks, characterized by high...
144
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
221
click to vote
Publication
We develop a simulation model for the ATM ABR service, and use it to engineer ABR congestion control behavior. Although significant work has been performed on ABR rate allocation a...