2413 search results - page 401 / 483 » Models for universal usability |
SRDS
2003
IEEE
14 years 3 months ago
2003
IEEE
We consider the problem of increasing the availability of shared data in peer-to-peer (P2P) systems so that users can access any content, regardless of the current subset of onlin...
ELPUB
2003
ACM
14 years 3 months ago
2003
ACM
: Synergies is an emerging online Canadian publishing project in the social sciences and humanities that builds on a group of online publishing initiatives that have emerged over t...
IMC
2003
ACM
14 years 3 months ago
2003
ACM
We measured and analyzed the variability in round trip times (RTTs) within TCP connections using passive measurement techniques. We collected eight hours of bidirectional traces c...
TPHOL
2002
IEEE
14 years 3 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
WORDS
2002
IEEE
14 years 3 months ago
2002
IEEE
The Worst-Case Execution-Time Analysis (WCET Analysis) of program code that is to be executed on modern processors is a highly complex task. First, it involves path analysis, to i...