7080 search results - page 1164 / 1416 » Designing High Integrity Systems Using Aspects |
123
Voted
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we propose a text represention for musical chord symbols that is simple and intuitive for musically trained individuals to write and understand, yet highly structure...
116
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we introduce a new hexapedal locomotion controller that simulation evidence suggests will be capable of driving our RHex robot at speeds exceeding five body length...
135
Voted
IDEAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Building highly available enterprise applications using web-oriented middleware is hard. Runtime implementations frequently do not address the problems of application state persis...
126
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
129
click to vote
PODC
2003
ACM
15 years 9 months ago
2003
ACM
Routing topologies for distributed hashing in peer-to-peer networks are classified into two categories: deterministic and randomized. A general technique for constructing determi...