3235 search results - page 422 / 647 » Partial Redundant Modeling |
129
click to vote
ESWA
2008
15 years 4 months ago
2008
A persistent problem in the use of automated workflow management systems for inter-organizational workflows has been the need for manual redefinition of coordination points in the...
153
click to vote
IJSNET
2007
15 years 4 months ago
2007
: Robustness and security of services like localisation, routing and time synchronisation in Wireless Sensor Networks (WSNs) have been critical issues. Efficient mathematical (gra...
136
click to vote
TSE
2008
15 years 4 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
112
click to vote
NN
2002
Springer
15 years 3 months ago
2002
Springer
In the temporal difference model of primate dopamine neurons, their phasic activity reports a prediction error for future reward. This model is supported by a wealth of experiment...
119
click to vote
SIAMCOMP
1998
15 years 3 months ago
1998
The inference of consensus from a set of evolutionary trees is a fundamental problem in a number of fields such as biology and historical linguistics, and many models for inferrin...