718 search results - page 118 / 144 » Extraction of Structured Programs from Specification Proofs |
157
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: Conotoxin has been proven to be effective in drug design and could be used to treat various disorders such as schizophrenia, neuromuscular disorders and chronic pain. ...
137
Voted
CIKM
2010
Springer
14 years 9 months ago
2010
Springer
Recent advances in data processing have enabled the generation of large and complex graphs. Many researchers have developed techniques to investigate informative structures within...
158
Voted
CORR
2009
Springer
15 years 6 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...
130
Voted
JOT
2007
15 years 2 months ago
2007
This paper describes how to extract stock quote data and display it with a dynamic update (using free, but delayed data streams). As a part of the architecture of the program, we ...
109
Voted
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...