10604 search results - page 1785 / 2121 » Computational Fluid Dynamics |
130
click to vote
FCT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
113
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
A biological organism’s ability to sense and adapt to its environment is essential to its survival. Likewise, environmentally aware computing systems avail themselves to a longe...
119
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
123
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
136
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...