1880 search results - page 297 / 376 » A Static Analysis for Beta-Binders |
301
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
152
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
161
click to vote
KBSE
2009
IEEE
16 years 24 days ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
189
click to vote
GLOBECOM
2007
IEEE
16 years 12 days ago
2007
IEEE
— Although recent years provided many protocols for anonymous routing in overlay networks, they commonly rely on the same communication paradigm: Onion Routing. In Onion Routing ...
158
click to vote
EMSOFT
2007
Springer
16 years 7 days ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...