1413 search results - page 240 / 283 » Bisimilarity of Open Terms |
181
click to vote
AB
2007
Springer
16 years 16 days ago
2007
Springer
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...
141
click to vote
ASIACRYPT
2007
Springer
16 years 16 days ago
2007
Springer
The black-box field (BBF) extraction problem is, for a given field F, to determine a secret field element hidden in a black-box which allows to add and multiply values in F in ...
162
click to vote
EMSOFT
2007
Springer
16 years 16 days ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
175
click to vote
EMSOFT
2007
Springer
16 years 16 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
160
click to vote
GECCO
2007
Springer
16 years 15 days ago
2007
Springer
This research screens the tuning parameters of a combinatorial optimization heuristic. Specifically, it presents a Design of Experiments (DOE) approach that uses a Fractional Fac...