10 search results - page 1 / 2 » Decision Diagrams for the Representation and Analysis of Log... |
CMSB
2007
Springer
13 years 11 months ago
2007
Springer
EUSFLAT
2003
13 years 6 months ago
2003
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...
ENTCS
2007
13 years 4 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
NGITS
1999
Springer
13 years 9 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...