1422 search results - page 70 / 285 » Complementation in Abstract Interpretation |
126
click to vote
ASIAN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...
130
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular con...
272
Voted
ACMMPC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...
153
click to vote
COSIT
1999
Springer
15 years 9 months ago
1999
Springer
Traditionally, depictions and descriptions have been seen as complementary; depictions have been preferred to convey iconic or metaphorically iconic information whereas description...
137
click to vote
VL
1999
IEEE
15 years 9 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...