2836 search results - page 104 / 568 » Model Checking for Software Architectures |
182
Voted
ICCD
2004
IEEE
16 years 4 months ago
2004
IEEE
The work presents a modeling and analysis framework for heterogeneous industrial networks architectures which is based on a tight integration of a network simulator with embedded ...
210
Voted
HPDC
2002
IEEE
16 years 11 days ago
2002
IEEE
Grid applications must increasingly self-adapt dynamically to changing environments. In most cases, adaptation has been implemented in an ad hoc fashion, on a perapplication basis...
210
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
An experimental set of tools that generate instruction set simulators, assemblers, and disassemblers from a single description was developed to test if retargetable development to...
201
Voted
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Software components turn out to be a convenient model to build complex applications for scientific computing and to run them on a computational grid. However, deploying complex, co...
185
click to vote
ICSOFT
2007
15 years 8 months ago
2007
: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...