115 search results - page 16 / 23 » Automated Integrative Analysis of State-based Requirements |
95
Voted
DAC
2006
ACM
16 years 19 days ago
2006
ACM
In this paper we propose a hybrid FPGA using nanoscale clusters with an architecture similar to clusters of traditional CMOS FPGAs. The proposed cluster is made of a crossbar of n...
115
click to vote
GIS
2009
ACM
15 years 4 months ago
2009
ACM
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
107
click to vote
CADE
2010
Springer
15 years 23 days ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
IPM
2010
14 years 10 months ago
2010
Taxonomy construction is a resource-demanding, top down, and time consuming effort. It does not always cater for the prevailing context of the captured information. This paper pro...
EDOC
2003
IEEE
15 years 5 months ago
2003
IEEE
As the desire for business intelligence capabilities for e-business processes expands, existing workflow management systems and decision support systems are not able to provide co...