1382 search results - page 146 / 277 » Interactive pen-and-ink illustration |
164
click to vote
COMCOM
2008
15 years 6 months ago
2008
In this paper, we study several TCP fairness issues in wireless local networks, both experimentally and via simulation. We illustrate the unfairness problems caused by the 802.11 ...
142
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
187
click to vote
ALIFE
2006
15 years 6 months ago
2006
Auditory displays have been successfully developed to assist data visualization in many areas, but have as yet received little attention in the field of Artificial Life. This pape...
163
click to vote
ENTCS
2008
15 years 6 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
174
click to vote
ARTMED
2006
15 years 6 months ago
2006
We address the task of inducing explanatory models from observations and knowledge about candidate biological processes, using the illustrative problem of modeling photosynthesis ...