7892 search results - page 21 / 1579 » Programming with Models |
WSC
2000
15 years 3 months ago
2000
Silk
119
click to vote
NMELP
1994
15 years 6 months ago
1994
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
104
click to vote
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
PPL
2008
15 years 1 months ago
2008
In this paper we argue that it is possible to couple the advantages of programming with the well-known abstraction of RPC with asynchronous programming models adequate for wide-ar...
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...