1926 search results - page 283 / 386 » Hierarchical Peer-to-Peer Systems |
110
Voted
AMDO
2004
Springer
15 years 6 months ago
2004
Springer
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...
89
Voted
ICSM
2003
IEEE
15 years 6 months ago
2003
IEEE
Moving to smaller libraries can be considered as a relevant task when porting software systems to limited-resource devices (e.g., hand-helds). Library miniaturization will be part...
124
click to vote
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
125
click to vote
CSMR
2002
IEEE
15 years 5 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
119
click to vote
DSN
2000
IEEE
15 years 5 months ago
2000
IEEE
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...