12 search results - page 2 / 3 » ecbs 2000 |
ECBS
2000
IEEE
13 years 9 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
ECBS
2000
IEEE
13 years 9 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
ECBS
2000
IEEE
13 years 9 months ago
2000
IEEE
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
ECBS
2000
IEEE
13 years 9 months ago
2000
IEEE
Reusing assets during application engineering promises to improve the efficiency of systems development. However, in order to benefit from reusable assets, application engineeri...
ECBS
2000
IEEE
13 years 9 months ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...