7892 search results - page 11 / 1579 » Programming with Models |
148
Voted
CORR
1998
Springer
15 years 1 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
108
Voted
FORTE
2008
15 years 3 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
116
click to vote
ENTCS
2006
15 years 2 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
UM
2005
Springer
15 years 7 months ago
2005
Springer
UM
2005
Springer
15 years 7 months ago
2005
Springer
