Sciweavers

1559 search results - page 240 / 312
» The Semantics of Future and Its Use in Program Optimizations
Sort
View
COMCOM
2008
112views more  COMCOM 2008»
14 years 10 months ago
A game-theoretic analysis of wireless access point selection by mobile users
A user located in a congested area of a wireless LAN may benefit by moving to a less-crowded area and using a less-loaded access point. This idea has gained attention from research...
Kimaya Mittal, Elizabeth M. Belding, Subhash Suri
VEE
2012
ACM
200views Virtualization» more  VEE 2012»
13 years 5 months ago
Block storage virtualization with commodity secure digital cards
Smartphones, tablets and other mobile platforms typically accommodate bulk data storage with low-cost, FAT-formatted Secure Digital cards. When one uses a mobile device to run a f...
Harvey Tuch, Cyprien Laplace, Kenneth C. Barr, Bi ...
FORMATS
2007
Springer
15 years 4 months ago
Hypervolume Approximation in Timed Automata Model Checking
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
Víctor A. Braberman, Jorge Lucángeli...
JELIA
2004
Springer
15 years 3 months ago
Hierarchical Decision Making by Autonomous Agents
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
ADBIS
2003
Springer
144views Database» more  ADBIS 2003»
15 years 3 months ago
Updatable XML Views
Abstract. XML views can be used in Web applications to resolve incompatibilities among heterogeneous XML sources. They allow to reduce the amount of data that a user has to deal wi...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...