1604 search results - page 137 / 321 » Development Separation in Lambda-Calculus |
COORDINATION
2008
Springer
14 years 5 days ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
FASE
2008
Springer
14 years 4 days ago
2008
Springer
Services are developed separately and without knowledge of all possible use contexts. They often mismatch or do not correspond exactly to the end-user needs, making direct composit...
DAGSTUHL
2007
13 years 12 months ago
2007
Major hardware and software vendors are curious about transactional memory (TM), but are understandably cautious about committing to hardware changes. Our thesis is that deconstru...
DAGSTUHL
2007
13 years 12 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
ICONIP
2007
13 years 11 months ago
2007
In the paper, we present a new approach to multi-way Blind Source Separation (BSS) and corresponding 3D tensor factorization that has many potential applications in neuroscience an...