2836 search results - page 328 / 568 » Model Checking for Software Architectures |
169
click to vote
SC
2009
ACM
15 years 12 months ago
2009
ACM
MapReduce provides a parallel and scalable programming model for data-intensive business and scientific applications. MapReduce and its de facto open source project, called Hadoop...
159
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
In extraordinary situations, certain individuals may require access to information for which they are not normally authorized. For example, to facilitate rescue of people trapped ...
118
click to vote
DFT
2000
IEEE
15 years 9 months ago
2000
IEEE
Many fault-tolerant architectures are based on the single-fault assumption, hence accumulation of dormant faults represents a potential reliability hazard. Based on the example of...
160
click to vote
AISS
2010
15 years 2 months ago
2010
The concept of Service Oriented Architecture (SOA) has had a significant impact not only on software engineering but on the analysis of an organization's business layer as we...
112
click to vote
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconf...