Sciweavers

8190 search results - page 49 / 1638
» From Timed to Hybrid Systems
Sort
View
AINA
2007
IEEE
14 years 1 months ago
A Real-Time Scheduling Algorithm with Buffer Optimization for Embedded Signal Processing Systems
Embedded signal processing system is a typical type of application in embedded domain. Such systems typically have requirements on high real-time responsiveness and large buffer c...
Nan Guan, Mingsong Lv, Qingxu Deng, Ge Yu
CRYPTO
2007
Springer
132views Cryptology» more  CRYPTO 2007»
14 years 1 months ago
Secure Hybrid Encryption from Weakened Key Encapsulation
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...
Dennis Hofheinz, Eike Kiltz
GCC
2005
Springer
14 years 1 months ago
A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
Wan-Chun Dou, Shing-Chi Cheung, Guihai Chen, Jie W...
AMC
2006
131views more  AMC 2006»
13 years 7 months ago
How much can analog and hybrid systems be proved (super-)Turing
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
Olivier Bournez
CSREASAM
2006
13 years 9 months ago
A Survey of Unimodal Biometric Methods
Apart from making the authentication system reliable, biometric systems reduce the time required for authentication considerably at the airports, borders, and government offices. ...
Shahram Latifi, Nimalan Solayappan