2357 search results - page 137 / 472 » Computing Refactorings of Behavior Models |
113
click to vote
TOG
2010
14 years 9 months ago
2010
We present a novel continuum-based model that enables efficient simulation of granular materials. Our approach fully solves the internal pressure and frictional stresses in a gran...
119
click to vote
SBBD
2004
15 years 4 months ago
2004
An enormous amount of information is currently available through specialized services of digital libraries (DLs). However the specification and development of DLs are very complex...
126
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
160
click to vote
AAAI
2012
13 years 5 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
112
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...