4290 search results - page 834 / 858 » Formal Approaches to Teamwork |
DEBS
2007
ACM
15 years 3 months ago
2007
ACM
Content-based routing (CBR) provides the core distribution support of several middleware paradigms, most notably content-based publish-subscribe. Despite its popularity, however, ...
107
click to vote
DOCENG
2007
ACM
15 years 3 months ago
2007
ACM
In this paper, we present a document engineering environment for Clinical Guidelines (G-DEE), which are standardized medical documents developed to improve the quality of medical ...
125
click to vote
ECOWS
2007
Springer
15 years 3 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
113
click to vote
FOCS
2009
IEEE
15 years 3 months ago
2009
IEEE
Given a set D = {d1, d2, ..., dD} of D strings of total length n, our task is to report the "most relevant" strings for a given query pattern P. This involves somewhat mo...
ACSC
2004
IEEE
15 years 3 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...