1880 search results - page 222 / 376 » A Static Analysis for Beta-Binders |
160
click to vote
EDCC
2006
Springer
15 years 10 months ago
2006
Springer
Bad error handling is the cause of many service outages. We address this problem by a novel approach to detect and patch bad error handling automatically. Our approach uses error ...
142
click to vote
EUROGP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This work postulates a mechanism by which random genotypic variation is directed towards favourable phenotypic variation. Evolvability is a poorly understood concept at p...
156
click to vote
DLOG
2006
15 years 8 months ago
2006
We propose a technique to make consistency detection scalable for large Aboxes in secondary storage. We use static analysis of knowledge representation with summarization techniqu...
164
click to vote
FIW
2000
15 years 8 months ago
2000
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic S...
174
click to vote
WSCG
2003
15 years 8 months ago
2003
This paper describes an autonomous vision system for realization of tasks consist of following a person with a mobile robot as well as interpreting some static and dynamic command...