2060 search results - page 102 / 412 » The Composition of Event-B Models |
138
click to vote
WETICE
2007
IEEE
15 years 10 months ago
2007
IEEE
With orchestrations, one service may be realized through the cooperation of several services. This cooperation has to be formally described. In this paper, we propose to describe ...
149
click to vote
ASE
1999
15 years 3 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
123
Voted
DBISP2P
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The vast majority of the interactions in typical online communities nowadays is between complete strangers. In such settings reputation reporting and trust management mod...
149
click to vote
ACL
2008
15 years 5 months ago
2008
We combine the strengths of Bayesian modeling and synchronous grammar in unsupervised learning of basic translation phrase pairs. The structured space of a synchronous grammar is ...
126
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. One of the main problems when creating execution-level process models is finding implementations for process activities. Carrying out this activity manually can be time ...