9989 search results - page 1589 / 1998 » A CLP Approach to Modelling Systems |
233
click to vote
WSC
2007
15 years 9 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
249
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
160
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
150
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract. The identification of consistent sets of arguments is one of the most important concerns in the development of computational models of argument. Such extensions drive the...
206
click to vote
FORTE
2008
15 years 8 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...