5630 search results - page 906 / 1126 » Computability in Specification |
186
click to vote
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Mobile vision services are a type of mobile ITS applications that emerge with increased miniaturization of sensor and computing devices, such as in camera equipped mobile phones, ...
156
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
Cluster computing environments built from commodity hardware have provided a cost-effective solution for many scientific and high-performance applications. Likewise, middleware te...
184
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. An error in a firewall policy either creates security hole...
184
click to vote
FOCS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we consider a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certifi...
186
click to vote
VISSYM
2007
15 years 9 months ago
2007
An imaging mass spectrometer is an analytical instrument that can determine the spatial distribution of chemical compounds on complex surfaces. The output of the device is a multi...