3954 search results - page 344 / 791 » Image-based Model Completion |
166
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
179
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
142
click to vote
CARS
2004
15 years 7 months ago
2004
While the mechanisms of plaque development in coronary arteries are not yet completely understood, vessel geometry and its influence on hemodynamics are of major importance. This ...
152
click to vote
IADIS
2003
15 years 7 months ago
2003
In this paper we present an integrated approach to the development of Complex Web Applications. The principal philosophy of the development is to support simplicity, consistency, ...
154
Voted
IWFM
2003
15 years 7 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...