Sciweavers

1805 search results - page 238 / 361
» A Theory of Closure Operators
Sort
View
OSDI
2008
ACM
16 years 5 months ago
From Optimization to Regret Minimization and Back Again
Internet routing is mostly based on static information-it's dynamicity is limited to reacting to changes in topology. Adaptive performance-based routing decisions would not o...
Ioannis C. Avramopoulos, Jennifer Rexford, Robert ...
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
16 years 1 months ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
DASFAA
2009
IEEE
104views Database» more  DASFAA 2009»
15 years 11 months ago
Tailoring Data Quality Models Using Social Network Preferences
To succeed in their tasks, users need to manage data with the most adequate quality levels possible according to specific data quality models. Typically, data quality assessment co...
Ismael Caballero, Eugenio Verbo, Manuel A. Serrano...
HICSS
2009
IEEE
116views Biometrics» more  HICSS 2009»
15 years 11 months ago
Systems Modeling for IP-Based Handoff Using Timed Petri Nets
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
Ashutosh Dutta, Bryan Lyles, Henning Schulzrinne, ...
ATAL
2009
Springer
15 years 11 months ago
Multiagent commitment alignment
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...
Amit K. Chopra, Munindar P. Singh