1173 search results - page 85 / 235 » On the Compositionality of Round Abstraction |
153
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...
124
click to vote
ICIAR
2009
Springer
16 years 25 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...
184
click to vote
AB
2008
Springer
16 years 19 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...
138
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...
158
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...