7892 search results - page 54 / 1579 » Programming with Models |
124
click to vote
IJCAI
1989
15 years 2 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
151
click to vote
VVEIS
2007
15 years 2 months ago
2007
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
129
click to vote
SCP
2008
15 years 1 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...
118
click to vote
IIE
2008
15 years 1 months ago
2008
Blended learning is becoming an attractive model in higher education as new innovative information technologies are becoming increasingly available. However, just blending face-to-...
114
click to vote
MEMOCODE
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...