1451 search results - page 123 / 291 » Case Studies in Model Manipulation for Scientific Computing |
139
click to vote
FUIN
2007
15 years 4 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
180
Voted
ASPLOS
1994
ACM
15 years 8 months ago
1994
ACM
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effe...
152
click to vote
ICCCN
2007
IEEE
15 years 11 months ago
2007
IEEE
— Wireless spectrum is a scare resource, while media streaming usually requires high end-to-end bandwidth. Media streaming in wireless ad hoc networks is therefore a particularly...
131
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Modeling ranked data is an essential component in a number of important applications including recommendation systems and websearch. In many cases, judges omit preference among un...
184
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...