4502 search results - page 312 / 901 » Regular Model Checking |
229
click to vote
TSMC
2010
15 years 1 months ago
2010
In mobile ad hoc networks, nodes have the inherent ability to move. Aside from conducting attacks to maximize their utility and cooperating with regular nodes to deceive them, mali...
253
click to vote
ICOIN
2012
Springer
14 years 2 months ago
2012
Springer
— Multipath TCP (MPTCP) has just been approved by the IETF. It was designed to be fairly shared with regular TCP, so its performance is equivalent that of a regular TCP flow tha...
159
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
156
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We present a general Bayesian framework for hyperparameter tuning in L2-regularized supervised learning models. Paradoxically, our algorithm works by first analytically integratin...
204
Voted
CLUSTER
2009
IEEE
15 years 4 months ago
2009
IEEE
With the advent of high-performance COTS clusters, there is a need for a simple, scalable and faulttolerant parallel programming and execution paradigm. In this paper, we show that...