6020 search results - page 827 / 1204 » A New Approach to Model Counting |
246
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...
156
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...
122
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Most practically relevant domains include some degree of conceptual dynamics, i.e. new conceptual elements arise, and some old ones become irrelevant. This type of change imposes a...
185
click to vote
CLIMA
2007
15 years 8 months ago
2007
In an open Multi-Agent System, the goals of agents acting on behalf of their owners often conflict with each other. Therefore, a personal agent protecting the interest of a single...
176
click to vote
IJCAI
2007
15 years 8 months ago
2007
The Internet is full of information sources providing various types of data from weather forecasts to travel deals. These sources can be accessed via web-forms, Web Services or RS...