5550 search results - page 612 / 1110 » Different Approaches to Proof Systems |
199
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
With the rapid growth of computer networks and network infrastructures and increased dependency on the internet to carry out day-to-day activities, it is imperative that the compo...
204
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
199
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Data-intensive applications often require exploratory analysis of large datasets. If analysis is performed on distributed resources, data locality can be crucial to high throughpu...
212
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
204
click to vote
INTERACT
2007
15 years 8 months ago
2007
Many systems – such as map viewers or visual editors – provide a limited viewport onto a larger graphical workspace. The limited viewport means that users often have to navigat...