958 search results - page 112 / 192 » Model Transformation Languages and Their Implementation by B... |
103
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
111
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Transcriptional modules (TM) consist of groups of co-regulated genes and transcription factors (TF) regulating their expression. Two high-throughput (HT) experimental ...
132
click to vote
CLOUD
2010
ACM
15 years 6 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
115
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...