1922 search results - page 264 / 385 » Systems biology, models, and concurrency |
106
click to vote
ICPADS
2005
IEEE
15 years 6 months ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
131
click to vote
AC
2004
Springer
15 years 1 months ago
2004
Springer
In today's business where speed is of essence, an iterative development approach that allows the functionality to be delivered in parts has become a necessity and an effectiv...
116
click to vote
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
119
click to vote
EURODAC
1994
IEEE
15 years 5 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
110
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Modeling of cis-elements or regulatory motifs in promoter (upstream) regions of genes is a challenging computational problem. In this work, set of regulatory motifs si...