Sciweavers

7168 search results - page 641 / 1434
» A Factorization Approach to Grouping
Sort
View
PODC
1995
ACM
15 years 10 months ago
A Framework for Protocol Composition in Horus
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
Robbert van Renesse, Kenneth P. Birman, Roy Friedm...
CDC
2008
IEEE
132views Control Systems» more  CDC 2008»
15 years 9 months ago
Global symplectic uncertainty propagation on SO(3)
Abstract-- This paper introduces a global uncertainty propagation scheme for the attitude dynamics of a rigid body, through a combination of numerical parametric uncertainty techni...
Taeyoung Lee, Melvin Leok, N. Harris McClamroch
CSEE
2007
Springer
15 years 9 months ago
Maintaining High Process Capability in a Student Project Course
We have provided a focus on process management and improvement as a basis for conducting student group projects. This paper summarises the lessons learnt from eight years of exper...
Terence P. Rout, John Seagrott
CTRSA
2007
Springer
171views Cryptology» more  CTRSA 2007»
15 years 9 months ago
Compact E-Cash from Bounded Accumulator
Abstract. Known compact e-cash schemes are constructed from signature schemes with efficient protocols and verifiable random functions. In this paper, we introduce a different ap...
Man Ho Au, Qianhong Wu, Willy Susilo, Yi Mu
ESWS
2008
Springer
15 years 9 months ago
XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage
With currently available tools and languages, translating between an existing XML format and RDF is a tedious and error-prone task. The importance of this problem is acknowledged b...
Waseem Akhtar, Jacek Kopecký, Thomas Krennw...