2335 search results - page 302 / 467 » Type Checking Type Classes |
135
Voted
DBSEC
2009
15 years 1 months ago
2009
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
116
Voted
SIGCOMM
2010
ACM
15 years 1 months ago
2010
ACM
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems h in common, and provide similar abstractions. We a...
101
Voted
AI
2010
Springer
15 years 28 days ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
90
Voted
AUTOMATICA
2007
15 years 28 days ago
2007
The certainty equivalence approach to adaptive control is commonly used with two types of identifiers: passivity-based identifiers and swapping identifiers. The “passive” (...
76
Voted
BMCBI
2010
15 years 27 days ago
2010
The Protein-DNA Interface database (PDIdb) is a repository containing relevant structural information of Protein-DNA complexes solved by X-ray crystallography and available at the...