2813 search results - page 24 / 563 » Formalizing Architectural Connection |
134
click to vote
FAC
2008
15 years 4 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
150
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
116
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
158
click to vote
MDM
2004
Springer
15 years 9 months ago
2004
Springer
The decoupling of producers and consumers in time and space in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment and h...
141
click to vote
FPL
2005
Springer
15 years 10 months ago
2005
Springer
As the logic capacity of FPGA increases, there has been a corresponding increase in the variety of FPGA building blocks. From a mere collection of the conventional logic blocks, F...