2152 search results - page 89 / 431 » An Abstract Account of Composition |
159
click to vote
SEFM
2007
IEEE
16 years 20 days ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
159
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
126
click to vote
ICIAR
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Russian photographer Prokudin-Gorskii was one of the pioneers of colour photography, creating projected colour composites through the acquisition of images using red, gre...
187
click to vote
AB
2008
Springer
16 years 23 days ago
2008
Springer
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
143
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...