10910 search results - page 1915 / 2182 » Input modeling using a computer algebra system |
157
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
113
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Precise evaluation of network appliance energy consumption is necessary to accurately model or simulate the power consumption of distributed systems. In this paper we ev...
152
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...
160
click to vote
EUROPAR
2010
Springer
15 years 6 months ago
2010
Springer
In a Cyclic Mobile Ad Hoc Network (CMANET) where nodes move cyclically, we formulate trust management problems and propose the cTrust scheme to handle trust establishment and aggre...
173
click to vote
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
This article presents a new method for non-rigid surface registration between a surface model and a surface of an internal organ in a given 3D medical image. The surface is repres...