3260 search results - page 323 / 652 » Lightweight linked data |
156
Voted
WMCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
In this study we investigate the interaction between TCP and MAC layer in a wireless multi-hop network. Using simulation, we provide new insight into two critical problems of TCP ...
138
Voted
HT
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes a generic approach to structuring and visualising a hypertext-based information space on the WWW. This approach, called Generalised Similarity Analysis (GSA),...
141
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
The notion of lambda-Grids posits plentiful collections of computing and storage resources richly interconnected by dedicated dense wavelength division multiplexing (DWDM) optical...
185
click to vote
ER
1997
Springer
15 years 8 months ago
1997
Springer
Development of today's advanced applications is increasingly being accomplished using multi-faceted modeling. For example, the areas of simulation and workflow modeling genera...
140
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...