7099 search results - page 403 / 1420 » Context for models of concurrency |
185
click to vote
AIM
2006
15 years 9 months ago
2006
: This article deals with enterprise interoperability in order to propose lines of research about information system design in a collaborative context. The static and dynamic dimen...
211
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, a novel design space exploration approach is proposed that enables a concurrent optimization of the topology, the process binding, and the communication routing of ...
194
click to vote
ADAEUROPE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
198
click to vote
ISPDC
2003
IEEE
16 years 1 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
186
Voted
EUROMICRO
1998
IEEE
15 years 12 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...