Sciweavers

6153 search results - page 122 / 1231
» Modeling Cyclic Change
Sort
View
DSN
2000
IEEE
14 years 2 months ago
Resource Scheduling in Dependable Integrated Modular Avionics
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Je...
SIGGRAPH
1996
ACM
14 years 2 months ago
Efficient Generation of Motion Transitions Using Spacetime Constraints
This paper describesthe application of spacetime constraints to creating transitions between segments of human body motion. The motion transition generation uses a combination of ...
Charles Rose, Brian K. Guenter, Bobby Bodenheimer,...
WCNC
2010
IEEE
14 years 2 months ago
Interference Analysis in Time and Frequency Asynchronous Network MIMO OFDM Systems
—It is well known that symbol timing offsets larger than the cyclic prefix as well as carrier frequency offsets between transmitter and receiver stations destroy the orthogonali...
Vincent Kotzsch, Gerhard Fettweis
CTRSA
2007
Springer
171views Cryptology» more  CTRSA 2007»
14 years 6 days 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
ECSA
2008
Springer
14 years 5 days ago
Non-synchronous Communications in Process Algebraic Architectural Description Languages
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
Marco Bernardo, Edoardo Bontà