1022 search results - page 149 / 205 » Relators and Metric Bisimulations |
152
click to vote
ERCIMDL
2009
Springer
16 years 21 days ago
2009
Springer
In digital libraries semantic techniques are often deployed to reduce the expensive manual overhead for indexing documents, maintaining metadata, or caching for future search. Howe...
156
click to vote
NETCOOP
2009
Springer
16 years 21 days ago
2009
Springer
There are moves in the Internet architecture community to add multipath capabilities to TCP, so that end-systems will be able to shift their traffic away from congested parts of th...
136
click to vote
SOUPS
2009
ACM
16 years 20 days ago
2009
ACM
Challenge questions are an increasingly important part of mainstream authentication solutions, yet there are few published studies concerning their usability or security. This pap...
162
click to vote
CSMR
2008
IEEE
16 years 18 days ago
2008
IEEE
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...
146
click to vote
DATE
2008
IEEE
16 years 18 days ago
2008
IEEE
We define a robust fault model as a model where the existence of an undetectable fault implies the existence of logic redundancy, or more generally, a suboptimality in the synthe...