2152 search results - page 391 / 431 » An Abstract Account of Composition |
CONCUR
2010
Springer
15 years 29 days ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
118
click to vote
MM
2010
ACM
15 years 1 days ago
2010
ACM
The design and implementation of a search engine for lecture webcasts is described. A searchable text index is created allowing users to locate material within lecture videos foun...
104
click to vote
ECAI
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. Textual reuse is an integral part of textual case-based reasoning (TCBR) which deals with solving new problems by reusing previous similar problem-solving experiences doc...
120
click to vote
ICDE
2010
IEEE
15 years 1 days ago
2010
IEEE
Abstract—In the context of service composition and orchestration, service invocation is typically scheduled according to execution plans, whose topology establishes whether diffe...
CJ
2006
14 years 12 months ago
2006
s the development of an abstract description of what there is in the world in an application-independent form. This paper argues that attempts to support information systems intero...