82 search results - page 13 / 17 » Specification and Validation of Behavioural Protocols in the... |
BPM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
EUROMICRO
1998
IEEE
15 years 3 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
117
click to vote
SMA
1993
ACM
15 years 3 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
88
Voted
IISWC
2009
IEEE
15 years 6 months ago
2009
IEEE
Recent benchmark suite releases such as Parsec specifically utilise the tightly coupled cores available in chipmultiprocessors to allow the use of newer, high performance, models ...
104
click to vote
JUCS
2010
14 years 6 months ago
2010
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...