6020 search results - page 296 / 1204 » A New Approach to Model Counting |
180
click to vote
SPLC
2008
15 years 8 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
170
click to vote
JOI
2010
15 years 5 months ago
2010
This paper introduces a new approach to describe the spread of research topics across disciplines using epidemic models. The approach is based on applying individual-based models ...
198
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper presents a new framework to model an assessment process for a complex and multidimensional syndrome such as depression. Since the measurements of depression are inherent...
199
Voted
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
194
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Mass-spring systems are of special interest for soft tissue modeling in surgical simulation due to their ease of implementation and real-time behavior. However, the parameter ident...