2935 search results - page 567 / 587 » An Integrated Approach to High Integrity Software Verificati... |
159
Voted
CLUSTER
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper describes a novel technique for establishing a virtual file system that allows data to be transferred user-transparently and on-demand across computing and storage serve...
151
click to vote
SCFBM
2008
15 years 3 months ago
2008
Background: Life Science Identifiers (LSIDs) are persistent, globally unique identifiers for biological objects. The decentralised nature of LSIDs makes them attractive for identi...
215
click to vote
VLSISP
2011
14 years 11 months ago
2011
Machine-learning algorithms are employed in a wide variety of applications to extract useful information from data sets, and many are known to suffer from superlinear increases in ...
182
click to vote
AAAI
2008
15 years 6 months ago
2008
Email client software is widely used for personal task management, a purpose for which it was not designed and is poorly suited. Past attempts to remedy the problem have focused o...
287
click to vote
ICDE
2008
IEEE
17 years 3 months ago
2008
IEEE
In applications like location-based services, sensor monitoring and biological databases, the values of the database items are inherently uncertain in nature. An important query fo...