2278 search results - page 334 / 456 » Specification Techniques for Automatic Performance Analysis ... |
126
Voted
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
Structured Information Retrieval is gaining a lot of interest in recent years, as this kind of information is becoming an invaluable asset for professional communities such as Sof...
IUI
1993
ACM
15 years 3 months ago
1993
ACM
incompatibility. We introduce Mona, an operational email system embodying this automatic approach. Mona establishes conversation context independently of user actions through the ...
96
Voted
FC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
194
click to vote
ICDE
2000
IEEE
16 years 29 days ago
2000
IEEE
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...
114
Voted
SIGMETRICS
2011
ACM
14 years 6 months ago
2011
ACM
Concurrency levels in large-scale supercomputers are rising exponentially, and shared-memory nodes with hundreds of cores and non-uniform memory access latencies are expected with...