123 search results - page 19 / 25 » Static Specification Mining Using Automata-Based Abstraction... |
120
click to vote
EDO
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
135
click to vote
CEC
2008
IEEE
15 years 1 months ago
2008
IEEE
Abstract-- Understanding the evolvability of simple differentiating multicellular systems is a fundamental problem in the biology of genetic regulatory networks and in computationa...
108
click to vote
JFP
2008
15 years 1 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
107
click to vote
CASES
2000
ACM
15 years 5 months ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...
128
click to vote
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Improving the precision of information retrieval has been a challenging issue on Chinese Web. As exemplified by Chinese recipes on the Web, it is not easy/natural for people to us...