7961 search results - page 44 / 1593 » Input-Output Model Programs |
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
IWOMP
2010
Springer
15 years 6 months ago
2010
Springer
106
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...
159
Voted
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...