2836 search results - page 104 / 568 » Model Checking for Software Architectures |
125
Voted
ICCD
2004
IEEE
16 years 18 days 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 ...
150
Voted
HPDC
2002
IEEE
15 years 8 months 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...
137
Voted
DAC
1997
ACM
15 years 8 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...
130
Voted
CORR
2004
Springer
15 years 3 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...
124
Voted
ICSOFT
2007
15 years 5 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...