2836 search results - page 263 / 568 » Model Checking for Software Architectures |
117
Voted
SAMOS
2005
Springer
15 years 10 months ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
151
click to vote
WORM
2003
15 years 6 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
138
click to vote
WSC
1998
15 years 6 months ago
1998
The High Level Architecture (HLA) provides the specification of a common technical architecture for use across all classes of simulations in the US Department of Defense. It provi...
111
click to vote
CISIS
2009
IEEE
15 years 9 months ago
2009
IEEE
The paper presents the main findings of the ELeGI project, namely its learning model and software architecture to support the creation and execution of complex learning processes....
146
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...