8446 search results - page 1286 / 1690 » A Process Compensation Language |
155
click to vote
FM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
145
Voted
FM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
149
click to vote
FM
2009
Springer
16 years 21 days ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
139
Voted
FM
2009
Springer
16 years 21 days ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
178
Voted
PKDD
2009
Springer
16 years 21 days ago
2009
Springer
This paper aims at presenting how natural language processing and machine learning techniques can help the internet surfer to get a better overview of the pages he is reading. The ...