2836 search results - page 495 / 568 » Model Checking for Software Architectures |
172
click to vote
HPCA
2005
IEEE
16 years 5 months ago
2005
IEEE
With the increasing concern of the security on high performance multiprocessor enterprise servers, more and more effort is being invested into defending against various kinds of a...
158
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
142
click to vote
DSD
2009
IEEE
15 years 8 months ago
2009
IEEE
—Duplication and comparison has proven to be an efficient method for error detection. Based on this generic principle dual core processor architectures with output comparison ar...
173
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...
270
click to vote
MICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
Since processor performance scalability will now mostly be achieved through thread-level parallelism, there is a strong incentive to parallelize a broad range of applications, inc...