1239 search results - page 181 / 248 » Applying Model Checking to Concurrent UML Models |
152
Voted
BPSC
2009
15 years 3 months ago
2009
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
135
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: With the abundant information produced by microarray technology, various approaches have been proposed to infer transcriptional regulatory networks. However, few appro...
152
Voted
AMOST
2007
ACM
15 years 6 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
118
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
161
Voted
CORR
2009
Springer
15 years 16 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...