5189 search results - page 401 / 1038 » Modeling architectural patterns using architectural primitiv... |
125
click to vote
IJES
2008
15 years 4 months ago
2008
In this article, we present an overview of the Artemis workbench, which provides modelling and simulation methods and tools for efficient performance evaluation and exploration of ...
135
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
144
click to vote
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
136
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
There is currently an ongoing demand for richer Intelligent Virtual Environments (IVEs) populated with social intelligent agents. As a result, many agent architectures are taking ...
146
click to vote
DIMVA
2009
15 years 6 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...