1145 search results - page 68 / 229 » The Correctness of an Optimized Code Generation |
ISW
2009
Springer
14 years 3 months ago
2009
Springer
A nonce is a cryptographic input value which must never repeat within a given context. Nonces are important for the security of many cryptographic building blocks, such as stream c...
MOMPES
2009
IEEE
14 years 3 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
MIDDLEWARE
2009
Springer
14 years 3 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
RSP
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...