17409 search results - page 3184 / 3482 » The Design and Performance of MedJava |
125
click to vote
DCOSS
2007
Springer
15 years 8 months ago
2007
Springer
The exposure of a path p is a measure of the likelihood that an object traveling along p is detected by a network of sensors and it is formally defined as an integral over all poin...
146
click to vote
DSN
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents the design and implementation of a real-time behavior profiling system for high-speed Internet links. The profiling system uses flow-level information from con...
168
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
147
click to vote
ERLANG
2007
ACM
15 years 8 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
119
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...