635 search results - page 95 / 127 » Towards the formalization of interaction semantics |
WCRE
2006
IEEE
15 years 5 months ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
122
click to vote
SDM
2011
SIAM
14 years 2 months ago
2011
SIAM
Extracting semantic relations between entities is an important step towards automatic text understanding. In this paper, we propose a novel Semi-supervised Convolution Graph Kerne...
111
click to vote
CCS
2003
ACM
15 years 5 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
108
Voted
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
133
click to vote
WWW
2010
ACM
14 years 10 months ago
2010
ACM
With the enormous and still growing amount of data and user interaction on the Web, it becomes more and more necessary for data consumers to be able to assess the trustworthiness ...