8086 search results - page 414 / 1618 » On the Implementation of Dynamic Patterns |
189
click to vote
DAGSTUHL
2003
15 years 9 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
173
click to vote
ICWS
2003
IEEE
15 years 9 months ago
2003
IEEE
Many organizations envision web services as an enabling component of Internet-scale computing. A final vision of web services is to realize a dynamic environment that identifies, ...
171
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
207
click to vote
ENGL
2008
15 years 7 months ago
2008
dynamic analysis of structures for earthquake induced loads is very expensive in terms of the computational burden. In this study, to reduce the computational effort a new neural s...
209
click to vote
EOR
2008
15 years 7 months ago
2008
Intense competition in many industries impels firms to develop more products in less time. Overlapping of development activities is regarded as one of the most promising strategie...