Sciweavers

4894 search results - page 546 / 979
» Choices
Sort
View
ICSE
2007
IEEE-ACM
16 years 1 months ago
Languages for Safety-Critical Software: Issues and Assessment
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Benjamin M. Brosgol
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
16 years 1 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
INDOCRYPT
2007
Springer
16 years 1 months ago
Optimizing Double-Base Elliptic-Curve Single-Scalar Multiplication
This paper analyzes the best speeds that can be obtained for single-scalar multiplication with variable base point by combining a huge range of options: – many choices of coordin...
Daniel J. Bernstein, Peter Birkner, Tanja Lange, C...
IPSN
2007
Springer
16 years 1 months ago
Energy-optimized image communication on resource-constrained sensor platforms
Energy-efficient image communication is one of the most important goals for a large class of current and future sensor network applications. This paper presents a quantitative com...
Dong-U Lee, Hyungjin Kim, Steven Tu, Mohammad H. R...
ISPA
2007
Springer
16 years 1 months ago
Grid and Distributed Public Computing Schemes for Structural Proteomics: A Short Overview
Grid and distributed public computing schemes has become an essential tool for many scientific fields including bioinformatics, computational biology and systems biology. The adopt...
Azhar Ali Shah, Daniel Barthel, Natalio Krasnogor