866 search results - page 88 / 174 » A compositional semantics for CHR |
185
click to vote
TRIDENTCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...
148
click to vote
CCS
2001
ACM
15 years 10 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
274
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
Entity matching (a.k.a. record linkage) plays a crucial role in integrating multiple data sources, and numerous matching solutions have been developed. However, the solutions have...
199
click to vote
TES
2001
Springer
15 years 10 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
156
click to vote
IEEESCC
2009
IEEE
16 years 22 days ago
2009
IEEE
—Research in the field of semantic Web services aims at automating the discovery, selection, composition and management of Web services based on semantic descriptions. However, t...