1880 search results - page 134 / 376 » A Static Analysis for Beta-Binders |
146
Voted
ECR
2006
15 years 6 months ago
2006
Within the software industry software piracy is a great concern. In this article we address this issue through a prevention technique called software watermarking. Depending on ho...
123
click to vote
AR
2004
15 years 6 months ago
2004
Abstract. This article addresses the problem of localising a static gas source in an indoor environment by a mobile robot. In contrast to previous works, the environment is not art...
274
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
113
click to vote
ICRA
2006
IEEE
16 years 9 days ago
2006
IEEE
Abstract— This paper investigates the robustness of underconstrained cable-driven robots to external disturbance wrenches (force/moment combinations). Two cases are considered: i...
140
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...