3911 search results - page 126 / 783 » Using Operational Architecture to Model Embedded Software |
143
Voted
JWSR
2006
15 years 5 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
178
click to vote
HPCA
2009
IEEE
16 years 5 months ago
2009
IEEE
Software cache-based side channel attacks present serious threats to modern computer systems. Using caches as a side channel, these attacks are able to derive secret keys used in ...
143
Voted
EUROSYS
2007
ACM
16 years 2 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
125
click to vote
CIKM
2003
Springer
15 years 10 months ago
2003
Springer
Prior research into search system scalability has primarily addressed query processing efficiency [1, 2, 3] or indexing efficiency [3], or has presented some arbitrary system arch...
153
click to vote
ICRE
1998
IEEE
15 years 9 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...