Sciweavers

2917 search results - page 525 / 584
» Satisfying Interaction Constraints
Sort
View
ESA
2007
Springer
120views Algorithms» more  ESA 2007»
14 years 1 months ago
Evolutionary Equilibrium in Bayesian Routing Games: Specialization and Niche Formation
Abstract. In this paper we consider Nash Equilibria for the selfish routing model proposed in [12], where a set of n users with tasks of different size try to access m parallel l...
Petra Berenbrink, Oliver Schulte
GPC
2007
Springer
14 years 1 months ago
A Thin Client Approach to Supporting Adaptive Session Mobility
Recent growth in computing devices from the smartphone to the desktop computer has led to users interacting with multiple computing devices throughout the course of the day. Modern...
Daniel MacCormac, Mark Deegan, Fred Mtenzi, Brenda...
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
14 years 1 months ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
3DPVT
2006
IEEE
179views Visualization» more  3DPVT 2006»
14 years 1 months ago
Large-Scale Urban Modeling by Combining Ground Level Panoramic and Aerial Imagery
We describe an interactive system that models regions of an urban environment, such as a group of tall buildings. Traditional image-based modeling methods often cannot model such ...
Lu Wang, Suya You, Ulrich Neumann
AINA
2006
IEEE
14 years 1 months ago
Simulation Architecture for Data Processing Algorithms in Wireless Sensor Networks
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
Yann-Aël Le Borgne, Mehdi Moussaid, Gianluca ...