571 search results - page 66 / 115 » A principled approach to operating system construction in Ha... |
109
Voted
POPL
2000
ACM
15 years 5 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
125
click to vote
EDCC
2010
Springer
15 years 6 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
137
click to vote
NDSS
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a solution to the denial of service (DoS) problem that does not rely on network infrastructure support, conforming to the end-to-end (e2e) design principle. Our approac...
127
click to vote
IJAR
2010
14 years 11 months ago
2010
Geospatial Reasoning has been an essential aspect of military planning since the invention of cartography. Although maps have always been a focal point for developing situational ...
104
click to vote
ISMIR
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes the development of a polyphonic music retrieval system with the n-gram approach. Musical n-grams are constructed from polyphonic musical performances in MIDI ...