1915 search results - page 190 / 383 » A language for functional interpretation of model based simu... |
178
click to vote
PKC
2012
Springer
13 years 9 months ago
2012
Springer
We define a new notion of relatively-sound non-interactive zeroknowledge (NIZK) proofs, where a private verifier with access to a trapdoor continues to be sound even when the Ad...
184
click to vote
DSRT
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper introduces a Collaborative Virtual Environment (CVE) system over the Internet. A Virtual Reality Modeling Language (VRML) 97-based user interface is developed to permit...
178
click to vote
CN
2008
15 years 6 months ago
2008
This paper deals with a congestion control framework for elastic and real-time traffic, where the user's application is associated with a utility function. We allow users to ...
187
click to vote
DSRT
2005
IEEE
16 years 3 days ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
190
click to vote
CSDA
2007
15 years 6 months ago
2007
The log-likelihood function of threshold vector error correction models is neither differentiable, nor smooth with respect to some parameters. Therefore, it is very difficult to ...