5210 search results - page 783 / 1042 » Computing Capabilities of Mediators |
163
click to vote
APLAS
2005
ACM
16 years 6 days ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
148
click to vote
PASTE
2005
ACM
16 years 6 days ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
161
click to vote
SENSYS
2005
ACM
16 years 6 days ago
2005
ACM
This paper describes the design, implementation and evaluation of a search and rescue system called CenWits. CenWits uses several small, commonly-available RF-based sensors, and a...
176
click to vote
SIGCOMM
2005
ACM
16 years 6 days ago
2005
ACM
We present the design and evaluation of TVA, a network architecture that limits the impact of Denial of Service (DoS) floods from the outset. Our work builds on earlier work on c...
224
click to vote
WCFLP
2005
ACM
16 years 6 days ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...