Sciweavers

1027 search results - page 143 / 206
» Callgraph properties of executables
Sort
View
GPCE
2007
Springer
15 years 10 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba
MODELS
2007
Springer
15 years 10 months ago
Deriving Operation Contracts from UML Class Diagrams
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
Jordi Cabot, Cristina Gómez
PAIRING
2007
Springer
148views Cryptology» more  PAIRING 2007»
15 years 10 months ago
Fully Collusion Secure Dynamic Broadcast Encryption with Constant-Size Ciphertexts or Decryption Keys
This paper puts forward new efficient constructions for public-key broadcast encryption that simultaneously enjoy the following properties: receivers are stateless; encryption is c...
Cécile Delerablée, Pascal Paillier, ...
129
Voted
SOFSEM
2007
Springer
15 years 10 months ago
Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
Dietmar Schreiner, Karl M. Göschka
VLDB
2007
ACM
129views Database» more  VLDB 2007»
15 years 10 months ago
Processing Forecasting Queries
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...
Songyun Duan, Shivnath Babu