2502 search results - page 421 / 501 » Using probabilistic model checking in systems biology |
100
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Bio-ontologies are key elements of knowledge management in bioinformatics. Rich and rigorous bio-ontologies should represent biological knowledge with high fidelity an...
127
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
114
click to vote
FORTE
2008
15 years 1 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
107
click to vote
FORTE
1996
15 years 1 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
CHI
2006
ACM
16 years 8 days ago
2006
ACM
This paper describes a real-time music-arranging system that reacts to immediate affective cues from a listener. Data was collected on the potential of certain musical dimensions ...