4476 search results - page 642 / 896 » A flexible framework for engineering |
169
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
202
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
188
click to vote
ISSTA
2004
ACM
16 years 1 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
197
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
We discuss information retrieval methods that aim at serving a diverse stream of user queries such as those submitted to commercial search engines. We propose methods that emphasi...
156
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...