2836 search results - page 299 / 568 » Model Checking for Software Architectures |
170
click to vote
ESSOS
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. The security requirements of complex multi-tier web applications have shifted from simple localized needs, such as authentication or authorization, to physically distribu...
145
click to vote
FCCM
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
158
click to vote
PDP
2003
IEEE
15 years 10 months ago
2003
IEEE
Over the last decade, a dramatic increase has been observed in the need for generating and organising data in the course of large parameter studies, performance analysis, and soft...
111
Voted
EUROMICRO
2002
IEEE
15 years 10 months ago
2002
IEEE
Early assessment of the non-functional properties of component compositions is one of the hottest issues in component-based architecting. We describe a method for evaluating the e...
146
Voted
HICSS
1995
IEEE
15 years 8 months ago
1995
IEEE
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...