1833 search results - page 129 / 367 » Mechanized Verification with Sharing |
190
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
Abstract--In both the commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information. In this paper we address the threat of infor...
128
click to vote
ECRTS
2005
IEEE
15 years 10 months ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
137
click to vote
ICNP
1998
IEEE
15 years 8 months ago
1998
IEEE
Controlling the quality of collaborative multimedia sessions, that deploy multiple media streams, is a challenging problem. In this paper, we present a framework for achieving qua...
128
click to vote
WEBDB
2005
Springer
15 years 10 months ago
2005
Springer
The World Wide Web is a medium for publishing data used by collaborating groups and communities of shared interest. This paper proposes mechanisms to support the accuracy and auth...
NIME
2004
Springer
15 years 10 months ago
2004
Springer
We present case studies of unusual instruments that share the same excitation mechanism as that of the bowed string. The musical saw, Tibetan singing bow, glass harmonica, and bow...