8555 search results - page 397 / 1711 » Property Based Coordination |
182
click to vote
ESOP
2003
Springer
16 years 28 days ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
197
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The constraint satisfaction problem (CSP) is a central generic problem in artificial intelligence. Considerable effort has been made in identifying properties which ensure tractabi...
197
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...
169
click to vote
ICFEM
2007
Springer
16 years 1 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
112
click to vote
EUSFLAT
2007
15 years 9 months ago
2007
An approach to the integration of set-valued functions based on the pseudo-integral has been proposed. Some basic properties of the pseudo-integral of set-valued functions have be...