7892 search results - page 66 / 1579 » Programming with Models |
123
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
106
click to vote
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
130
click to vote
KRDB
1996
15 years 2 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
113
click to vote
ACL
2008
15 years 2 months ago
2008
The traditional mention-pair model for coreference resolution cannot capture information beyond mention pairs for both learning and testing. To deal with this problem, we present ...
112
click to vote
ECBS
2004
IEEE
15 years 5 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...