12774 search results - page 193 / 2555 » A Framework for Proof Systems |
120
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
Designing storage systems to provide business continuity in the face of failures requires the use of various data protection techniques, such as backup, remote mirroring, point-in-...
143
Voted
JAISE
2010
14 years 11 months ago
2010
The design and development of active RFID tag systems requires several iterations, and thorough testing in order to ensure that the prototype systems behave as intended. Facilitati...
126
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper introduces the software framework MMER Lab which allows an effective assembly of modular signal processing systems optimized for memory efficiency and performance. Our...
141
Voted
IRI
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we introduce the work done to define a framework for requirements and architectural understanding in biomedical grid computing systems. A set of core requirements fo...
127
click to vote
WEBDB
2005
Springer
15 years 10 months ago
2005
Springer
As a simple XML query language but with enough expressive power, XPath has become very popular. To expedite evaluation of XPath queries, we consider the problem of caching results...