8766 search results - page 615 / 1754 » Functional logic programming |
152
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
135
Voted
PRDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
166
click to vote
AB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
133
Voted
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose a logic synthesis flow which utilizes the functionality of circuit to synthesize a domino-cell network which will have more wires crosstalk-immune to each other. For t...
154
Voted
EEE
2005
IEEE
15 years 10 months ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...