Sciweavers

11381 search results - page 374 / 2277
» Connectivity
Sort
View
USENIX
1996
15 years 8 months ago
Supporting Mobility in MosquitoNet
The goal of the MosquitoNet project is to provide continuous Internet connectivity to mobile hosts. Mobile hosts must be able to take advantage of the best network connectivity av...
Mary Baker, Xinhua Zhao, Stuart Cheshire, Jonathan...
APAL
2008
79views more  APAL 2008»
15 years 6 months ago
Intermediate logics and factors of the Medvedev lattice
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
Andrea Sorbi, Sebastiaan Terwijn
163
Voted
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 6 months ago
How to meet asynchronously (almost) everywhere
Two mobile agents (robots) with distinct labels have to meet in an arbitrary, possibly infinite, unknown connected graph or in an unknown connected terrain in the plane. Agents ar...
Jurek Czyzowicz, Arnaud Labourel, Andrzej Pelc
CL
2008
Springer
15 years 6 months ago
Foundations of a simple and unified component-oriented language
Component-orientedprogramming(COP)isactuallyakeyresearchtrackinsoftwareengineering.Avarietyofcomponent-oriented s (COLs) have been proposed with new or adapted abstractions and me...
Luc Fabresse, Christophe Dony, Marianne Huchard
CN
2008
111views more  CN 2008»
15 years 6 months ago
Dynamic CPU provisioning for self-managed secure web applications in SMP hosting platforms
Overload control mechanisms such as admission control and connection differentiation have proven effective for preventing overload of application servers running secure web applic...
Jordi Guitart, David Carrera, Vicenç Beltra...