1054 search results - page 59 / 211 » Guarded Expressions in Practice |
SBMF
2010
Springer
13 years 5 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
BMCBI
2007
13 years 11 months ago
2007
Background: Microarray time series studies are essential to understand the dynamics of molecular events. In order to limit the analysis to those genes that change expression over ...
FOSSACS
2008
Springer
14 years 21 days ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
ICDT
2009
ACM
14 years 12 months ago
2009
ACM
We study the problem of querying data sources that accept only a limited set of queries, such as sources accessible by Web services which can implement very large (potentially inf...
WCNC
2008
IEEE
14 years 5 months ago
2008
IEEE
—In this contribution an accurate average bit error rate (BER) formula is derived for Nakagami-faded MC-DSCDMA in the context of asynchronous transmissions and random spreading s...