2813 search results - page 24 / 563 » Formalizing Architectural Connection |
FAC
2008
13 years 9 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...
VLSID
2002
IEEE
14 years 10 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...
FMCO
2005
Springer
14 years 3 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...
MDM
2004
Springer
14 years 3 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...
FPL
2005
Springer
14 years 3 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...