11547 search results - page 2268 / 2310 » Quantum computing and communication |
152
Voted
ELPUB
2007
ACM
15 years 7 months ago
2007
ACM
A proposal is presented for a standard ontology language defined as ElPub/SciX Ontology, based on the content of a web digital library of conference proceedings. This content, i.e...
135
Voted
EMNETS
2007
15 years 7 months ago
2007
The node localization problem in Wireless Sensor Networks has received considerable attention, driven by the need to obtain a higher location accuracy without incurring a large, p...
156
Voted
KDD
2010
ACM
15 years 7 months ago
2010
ACM
The security demands on modern system administration are enormous and getting worse. Chief among these demands, administrators must monitor the continual ongoing disclosure of sof...
145
Voted
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
156
Voted
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
This paper proposes new network interface controller (NIC) designs that take advantage of integration with the host CPU to provide increased flexibility for operating system kerne...