2171 search results - page 176 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
165
click to vote
WSCG
2004
15 years 7 months ago
2004
The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
198
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
228
click to vote
GLVLSI
2009
IEEE
15 years 4 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
158
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
224
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a novel application for Aspect-Oriented Programming (AOP). By combining the concepts of Business Process Management and AOP, we present an approach for enabli...