2944 search results - page 491 / 589 » Robust Semantic Construction |
169
click to vote
SOCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
170
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
167
click to vote
WDAG
2005
Springer
15 years 11 months ago
2005
Springer
Software Transactional Memory (STM) is a generic synchronization construct that enables automatic conversion of correct sequential objects into correct nonblocking concurrent obje...
163
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...
161
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...