3239 search results - page 552 / 648 » A Logical Process Calculus |
100
Voted
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
To address the problem of performing long time simulations of biochemical pathways under in vivo cellular conditions, we have developed a lattice-based, reaction-diffusion model t...
118
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
115
click to vote
TAP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
123
Voted
EDBTW
2010
Springer
15 years 7 months ago
2010
Springer
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...
110
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
VLSI timing analysis and power estimation target the same circuit switching activity. Power estimation techniques are categorized as (1) static, (2) statistical, and (3) simulatio...