227 search results - page 37 / 46 » Quantitative verification: models techniques and tools |
124
click to vote
BIOINFORMATICS
2006
15 years 1 months ago
2006
Motivation Quantitative estimation of the regulatory relationship between transcription factors and genes is a fundamental stepping stone when trying to develop models of cellular...
169
Voted
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...
110
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
119
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...