4099 search results - page 490 / 820 » A Framework for Interactive Proof |
233
click to vote
ERCIMDL
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present MinervaDL, a digital library architecture that supports approximate information retrieval and filtering functionality under a single unifying framework. The a...
163
click to vote
FDL
2006
IEEE
16 years 23 days ago
2006
IEEE
We present an introspection/reflection framework for SystemC which extracts design-relevant structure information and transaction data under any LRM-2.1 compliant simulation kern...
181
click to vote
HICSS
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
180
click to vote
HPCA
2006
IEEE
16 years 23 days ago
2006
IEEE
Performance of multithreaded programs is heavily influenced by the latencies of the thread management and synchronization operations. Improving these latencies becomes especially...
155
click to vote
RSP
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents Wcomp which is a framework for rapid application prototyping. This framework has been developed for targeting wearable computing applications but can also be u...