7149 search results - page 210 / 1430 » How dynamic is the Web |
116
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
We present a study which investigated how and why users of Mozilla Firefox use multiple tabs and windows during web browsing. The detailed web browsing usage of 21 participants wa...
116
click to vote
IGPL
2010
15 years 2 months ago
2010
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
122
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
159
click to vote
NECO
1998
15 years 4 months ago
1998
three different levels of abstraction: detailed models including ctivity dynamics, weight dynamics that abstract from the neural activity dynamics by an adiabatic approximation, an...
125
click to vote
CSUR
2000
15 years 4 months ago
2000
The goal of this paper is to illustrate how frameworks and patterns address complexities that arise in the design and implementation of high-performance distributed software syste...