859 search results - page 49 / 172 » Behaviour Analysis of Distributed Systems Using the Tracta A... |
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
The composite signal flow model of computation targets systems with significant control and data processing parts. It builds on the data flow and synchronous data flow models ...
ECOOPW
1998
Springer
14 years 2 months ago
1998
Springer
This paper describes a validation experiment of a quantitative approach to the modularization of object oriented systems based on Cluster Analysis. A sample of some relatively larg...
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
EDOC
2008
IEEE
13 years 11 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...