1712 search results - page 217 / 343 » Abstract Constraint Data Types |
AUSAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper describes and compares the use of methods based on Ngrams (specifically trigrams and pentagrams), together with five features, to recognise the syntactic and s...
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
120
click to vote
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
EUROPAR
2008
Springer
15 years 1 months ago
2008
Springer
Performance of distributed applications largely depends on the mapping of their components on the underlying architecture. On one mponent-based approaches provide an abstraction su...
ATVA
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...