15155 search results - page 2392 / 3031 » System Software |
178
Voted
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
206
Voted
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Active storage clouds are an attractive platform for executing large data intensive workloads found in many fields of science. However, active storage presents new system managem...
196
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
The objective of image stabilization is to prevent image blurring caused by the relative motion between the camera and the scene during the image integration time. In this paper w...
198
Voted
ICONS
2008
IEEE
16 years 1 months ago
2008
IEEE
DL systems with bilinear structure recently became an important base for cryptographic protocols such as identity-based encryption (IBE). Since the main computational task is the ...
191
click to vote
IRI
2008
IEEE
16 years 1 months ago
2008
IEEE
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...