1023 search results - page 170 / 205 » Model Checking: Software and Beyond |
143
Voted
CBSE
2004
Springer
15 years 9 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
252
Voted
MICRO
2006
IEEE
15 years 3 months ago
2006
IEEE
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...
155
Voted
JUCS
2010
14 years 10 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
152
Voted
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
127
click to vote
TSE
2011
14 years 10 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...