485 search results - page 39 / 97 » A Model Checking Approach for Verifying COWS Specifications |
127
click to vote
JSC
2010
14 years 4 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
INFORMATICALT
2011
14 years 4 months ago
2011
It is well known that in situations involving the study of large datasets where influential observations or outliers maybe present, regression models based on the Maximum Likeliho...
FORTE
2000
14 years 11 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
ALGORITHMICA
2004
14 years 9 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...