167 search results - page 5 / 34 » Towards a Connector Algebra |
73
Voted
BPM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
115
click to vote
NADA
1998
Springer
15 years 1 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
AISC
2008
Springer
14 years 11 months ago
2008
Springer
This paper discusses the pros and cons of using a functional language for implementing a computer algebra system. The contributions of the paper are twofold. Firstly, we discuss so...
SAC
2010
ACM
14 years 9 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
DASFAA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract. In this paper, we present a theoretical foundation for querying inductive databases, which can accommodate disparate mining tasks. We present a data mining algebra includ...