557 search results - page 91 / 112 » Calculi for Service-Oriented Computing |
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
166
click to vote
ECOWS
2011
Springer
13 years 11 months ago
2011
Springer
Abstract—One of the key concepts of service-oriented computing is dynamic binding which favors on-demand integration of services into a running system. Companies can outsource ta...
119
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
BMCBI
2008
14 years 12 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...