1460 search results - page 181 / 292 » Very Lightweight Requirements Modeling |
137
Voted
CONCUR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
114
Voted
SWAT
1992
Springer
15 years 9 months ago
1992
Springer
The k-compaction problem arises when k out of n cells in an array are non-empty and the contents of these cells must be moved to the first k locations in the array. Parallel algori...
145
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
138
Voted
JSAC
2006
15 years 5 months ago
2006
We consider problems of provisioning an excludable public good amongst n potential members of a peer-to-peer system who are able to communicate information about their private pre...
166
click to vote
ISBI
2011
IEEE
14 years 8 months ago
2011
IEEE
Caenorhabditis elegans is an important model organism for the study of molecular mechanisms of development and disease processes, due to its well-known genome and invariant cell l...