2702 search results - page 380 / 541 » Practically Applicable Formal Methods |
146
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
131
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
One of the critical deficiencies of SQL is lack of support for ndimensional array-based computations which are frequent in OLAP environments. Relational OLAP (ROLAP) applications ...
122
click to vote
ICARIS
2009
Springer
15 years 8 months ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...
115
click to vote
ICHIT
2009
Springer
15 years 8 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
118
click to vote
KCAP
2009
ACM
15 years 8 months ago
2009
ACM
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...