Sciweavers

2736 search results - page 300 / 548
» Implementable allocation rules
Sort
View
MDM
2004
Springer
16 years 19 hour ago
Multi-Protocol Profiles to Support User Mobility Across Network Technologies
Seamless roaming in heterogeneous circuit-switched and IP networks is key for successful migration towards all-IP. The Unified Mobility Manager (UMM) keeps track of users’ locat...
Oliver Haase, Ming Xiong, Kazutaka Murakami
FM
2003
Springer
108views Formal Methods» more  FM 2003»
15 years 12 months ago
Correctness of Source-Level Safety Policies
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
Ewen Denney, Bernd Fischer 0002
FSTTCS
2003
Springer
15 years 12 months ago
An Equational Theory for Transactions
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
Andrew P. Black, Vincent Cremet, Rachid Guerraoui,...
SIGECOM
2010
ACM
241views ECommerce» more  SIGECOM 2010»
15 years 11 months ago
A practical liquidity-sensitive automated market maker
Current automated market makers over binary events suffer from two problems that make them impractical. First, they are unable to adapt to liquidity, so trades cause prices to mo...
Abraham Othman, Tuomas Sandholm, David M. Pennock,...
ICSE
2010
IEEE-ACM
15 years 11 months ago
AURA: a hybrid approach to identify framework evolution
Software frameworks and libraries are indispensable to today’s software systems. As they evolve, it is often timeconsuming for developers to keep their code up-to-date, so appro...
Wei Wu, Yann-Gaël Guéhéneuc, Gi...