4880 search results - page 602 / 976 » Mechanism Design by Creditability |
175
click to vote
SIGCOMM
2004
ACM
16 years 6 days ago
2004
ACM
This paper presents the design of Mercury, a scalable protocol for supporting multi-attribute rangebased searches. Mercury differs from previous range-based query systems in that...
199
click to vote
ASWSD
2004
Springer
16 years 6 days ago
2004
Springer
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
189
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
145
click to vote
ICWE
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
152
click to vote
ISER
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper proposes wave-shape pattern control method for whole-body deformable robots containing electroactive polymers. Mechanisms consisting of a typical electroactive...