2233 search results - page 299 / 447 » Modular type classes |
289
click to vote
AAIP
2009
15 years 7 months ago
2009
This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary feature...
210
click to vote
DBSEC
2009
15 years 7 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. ...
171
click to vote
SIGCOMM
2010
ACM
15 years 6 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...
167
click to vote
AI
2010
Springer
15 years 6 months 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 ...
144
click to vote
AUTOMATICA
2007
15 years 6 months 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” (...