4211 search results - page 429 / 843 » Types as Abstract Interpretations |
155
click to vote
ASIAN
2003
Springer
15 years 12 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 ...
175
click to vote
DNIS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. As the number of web pages increases dramatically, the problem of the information overload becomes more severe when browsing and searching the WWW. To alleviate this prob...
141
click to vote
GD
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. GraphAEL extracts three types of evolving graphs from the Graph Drawing literature and creates 2D and 3D animations of the evolutions. We study citation graphs, topic gra...
154
click to vote
GI
2003
Springer
15 years 12 months ago
2003
Springer
Abstract: P2P Meeting Tool is a meeting management tool, which uses Peer-toPeer technology to realise a pervasive computing environment. Users can search for and join a meeting ses...
183
click to vote
IFL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...