1895 search results - page 266 / 379 » Using ATL for Checking Models |
132
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
119
Voted
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...
139
Voted
ISSRE
2000
IEEE
15 years 7 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
118
Voted
FOIS
2006
15 years 4 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...
131
Voted
SAIG
2000
Springer
15 years 6 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...