276 search results - page 36 / 56 » Decomposition tool for event-B |
72
Voted
AOSD
2006
ACM
15 years 3 months ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
ISPA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. There exist numerous algorithms that cluster data-points from largescale genomic experiments such as sequencing, gene-expression and proteomics. Such algorithms may emplo...
104
click to vote
TASE
2011
IEEE
14 years 4 months ago
2011
IEEE
—For multiclass flow line models, we identify a class of service times that allow a decomposition of the system into subsets of servers called channels. In each channel, the cus...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
102
click to vote
KDD
2004
ACM
15 years 10 months ago
2004
ACM
Many automated learning procedures lack interpretability, operating effectively as a black box: providing a prediction tool but no explanation of the underlying dynamics that driv...