2153 search results - page 177 / 431 » From Requirements Models to Formal Specifications in B |
163
click to vote
DAC
2006
ACM
16 years 13 days ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
154
click to vote
SIAMAM
2010
15 years 4 months ago
2010
We study vesicles formed by lipid bilayers that are governed by an elastic bending energy and on which the lipids laterally separate forming two different phases. The energy laden...
169
click to vote
WPES
2005
ACM
16 years 10 hour ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...
176
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
Compressive sensing (CS) is an emerging field that, under appropriate conditions, can significantly reduce the number of measurements required for a given signal. In many applicat...
196
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...