2836 search results - page 291 / 568 » Model Checking for Software Architectures |
151
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Multiple memory module architecture enjoys higher memory access bandwidth and thus higher performance. Two key problems in gaining high performance in this kind of architecture ar...
152
click to vote
IASTEDSEA
2004
15 years 6 months ago
2004
Creating long-lived software systems requires a technology to build systems with good maintainability. One of the core ideas of the Model Driven Architecture (MDA) is to ease the ...
176
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
124
Voted
CONTEXT
1999
Springer
15 years 9 months ago
1999
Springer
Following the ecological approach to visual perception, this paper presents an innovative framework for the design of multimodal systems. The proposal emphasises the role of the vi...
122
click to vote
WSC
2001
15 years 6 months ago
2001
The Tactical Logistics Distribution System (T.LoaDS or TLoaDS) is a powerful and flexible simulation application for assessing current or future tactical or sea-based distribution...