1604 search results - page 137 / 321 » Development Separation in Lambda-Calculus |
106
click to vote
COORDINATION
2008
Springer
15 years 2 months 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...
82
Voted
FASE
2008
Springer
15 years 2 months 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...
101
Voted
DAGSTUHL
2007
15 years 2 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...
94
Voted
DAGSTUHL
2007
15 years 2 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...
97
Voted
ICONIP
2007
15 years 2 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...