11324 search results - page 1913 / 2265 » Coordination Models and Languages |
201
click to vote
LFCS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
194
click to vote
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
155
click to vote
TSD
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper is devoted to the problem of automatic translation between Czech and SC in both directions. We introduced our simple monotone phrase-based decoder - SiMPaD sui...
198
click to vote
UM
2007
Springer
16 years 27 days ago
2007
Springer
Users’ critiques to the current recommendation form a crucial feedback mechanism for refining their preference models and improving a system’s accuracy in recommendations that ...
167
click to vote
WIA
2007
Springer
16 years 27 days ago
2007
Springer
It has been known since 1962 that the ambiguity problem for context-free grammars is undecidable. Ambiguity in context-free grammars is a recurring problem in language design and p...