4616 search results - page 88 / 924 » Extreme Components Analysis |
109
click to vote
CBSE
2005
Springer
15 years 5 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
DAGSTUHL
2007
15 years 1 months ago
2007
—An electronic voting system may be said to be composed by a number of components, each of which has a number of properties. One of the most attractive effects of this way of thi...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
ICSR
2009
Springer
14 years 9 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
STP
1998
14 years 11 months ago
1998
The goal of this paper is to provide an architectural analysis of the existing distributed object oriented platforms. Based on a relatively small number of design patterns, our an...