2777 search results - page 277 / 556 » Example centric programming |
119
Voted
BIB
2008
15 years 3 months ago
2008
Short tandem repeats, specifically microsatellites, are widely used genetic markers, associated with human genetic diseases, and play an important role in various regulatory mecha...
109
click to vote
CONCURRENCY
2008
15 years 3 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
127
click to vote
CCE
2006
15 years 3 months ago
2006
In this paper, we address the problem of optimal synthesis of an integrated water system, where water using processes and water treatment operations are combined into a single net...
131
click to vote
IJDSN
2006
15 years 3 months ago
2006
Reliable dissemination of bulk data is one of the important problems in sensor networks. For example, programming or upgrading the software in sensors at run-time requires reliabl...
130
Voted
JCS
2007
15 years 3 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...