3624 search results - page 213 / 725 » Abstract Algebraic Logic |
168
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
162
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Abstract--An image can be seen as an element of a vector space so that it can be expressed in terms of a series expansion of any non necessarily orthogonal base of this space. This...
153
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
Abstract. We apply tools coming from singularity theory, as Hamburger-Noether expansions, and from valuation theory, as generating sequences, to explicitly describe order functions...
148
click to vote
BIRTHDAY
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
136
click to vote
BPM
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...