6020 search results - page 478 / 1204 » A New Approach to Model Counting |
207
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
178
click to vote
SSD
2007
Springer
16 years 1 months ago
2007
Springer
In many modern applications such as biometric identification systems, sensor networks, medical imaging, geology, and multimedia databases, the data objects are not described exact...
189
click to vote
GECCO
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. Different approaches to infer the dependencies of gene r...
170
click to vote
ECIS
2004
15 years 8 months ago
2004
The need for an integrated enterprise-wide set of management information pronounced Data Warehousing the `hot topic' of the early-to-mid 1990's, however, it became unfas...
211
click to vote
IJWET
2006
15 years 7 months ago
2006
: This paper presents a CASE tool for the high-level specification of web applications integrated with web services. The CASE tool is based on WebML, a conceptual modelling languag...