10462 search results - page 375 / 2093 » Towards a |
200
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
167
click to vote
EMISA
2004
Springer
16 years 6 days ago
2004
Springer
: In a design project, the actors cooperate to achieve a same objective, which can be the production of a document, a manufactured product, a plane or a building. The role of a coo...
190
click to vote
EMSOFT
2004
Springer
16 years 6 days ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...