1299 search results - page 137 / 260 » On the Correctness of Operating System Kernels |
158
click to vote
EPIA
2005
Springer
15 years 10 months ago
2005
Springer
We are interested in the challenging scientific pursuit of how to characterize human activities in any formal meeting situation by tracking people’s positions with a computer vi...
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
113
click to vote
USENIX
2001
15 years 6 months ago
2001
Simultaneous editing is a new method for automating repetitive text editing. After describing a set of regions to edit (the records), the user can edit any one record and see equi...
151
click to vote
WOSP
2010
ACM
15 years 11 months ago
2010
ACM
Performance non-determinism in computer systems complicates evaluation, use, and even development of these systems. In performance evaluation via benchmarking and simulation, nond...
142
click to vote
BMCBI
2005
2005
MicroGen: a MIAME compliant web system for microarray experiment information and workflow management
15 years 4 months ago
Background: Improvements of bio-nano-technologies and biomolecular techniques have led to increasing production of high-throughput experimental data. Spotted cDNA microarray is on...