9504 search results - page 345 / 1901 » Dynamic Substitution Model |
199
click to vote
ICDCS
2006
IEEE
16 years 1 months ago
2006
IEEE
Content-based publish/subscribe (pub/sub) is a promising paradigm for building asynchronous distributed applications. In many application scenarios, these systems are required to ...
223
click to vote
IUI
2003
ACM
16 years 16 days ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
182
click to vote
NIPS
2000
15 years 8 months ago
2000
Experimental data show that biological synapses behave quite differently from the symbolic synapses in common artificial neural network models. Biological synapses are dynamic, i....
194
click to vote
STTT
2010
15 years 5 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
163
click to vote
JNS
2011
15 years 2 months ago
2011
A 3D pendulum consists of a rigid body, supported at a fixed pivot, with three rotational degrees of freedom. The pendulum is acted on by a gravitational force. Symmetry assumptio...