10159 search results - page 1836 / 2032 » System Design Validation Using Formal Models |
188
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Computer systems are increasingly driven by workloads that reflect large-scale social behavior, such as rapid changes in the popularity of media items like videos. Capa...
156
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
This paper is concerned with rank aggregation, the task of combining the ranking results of individual rankers at meta-search. Previously, rank aggregation was performed mainly by...
167
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
ract One important aspect of scientific data management is metadata management. Metadata is information about data (e.g., content, source, processing applied, precision). One kind ...
189
click to vote
ACISP
2006
Springer
15 years 10 months ago
2006
Springer
Efficient authentication is one of important security requirements in mobile ad hoc network (MANET) routing systems. The techniques of digital signatures are generally considered a...
161
click to vote
TVCG
2010
15 years 4 months ago
2010
—Many visualization applications benefit from displaying content on real-world objects rather than on a traditional display (e.g., a monitor). This type of visualization display ...