2607 search results - page 226 / 522 » On the Architecture of System Verification Environments |
184
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
183
click to vote
CD
2004
Springer
15 years 12 months ago
2004
Springer
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...
175
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
In this paper, we present a compiler strategy to optimize data accesses in regular array-intensive applications running on embedded multiprocessor environments. Specifically, we p...
200
click to vote
GRID
2007
Springer
15 years 6 months ago
2007
Springer
Combining Grid and P2P technologies can be exploited to provide high-level data sharing in large-scale distributed environments. However, this combination must deal with two hard p...
184
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
SQL injection attacks (SQLIAs) consist of maliciously crafted SQL inputs, including control code, used against Databaseconnected Web applications. To curtail the attackers’ abil...