Sciweavers

10263 search results - page 1837 / 2053
» From Use Cases to System Operation Specifications
Sort
View
DSN
2008
IEEE
15 years 8 months ago
Convicting exploitable software vulnerabilities: An efficient input provenance based approach
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu
ESANN
2001
15 years 7 months ago
Applications of neuro-fuzzy classification, evaluation and forecasting techniques in agriculture
Aim of the present article is to show the results obtained from the application of neuro-fuzzy methodology in the solution of agriculture problems like the Bactrocera Oleae (olive...
Elena Bellei, Diego Guidotti, Ruggero Petacchi, Le...
138
Voted
PICS
2003
15 years 7 months ago
A Psychophysical Experiment Evaluating the Color Accuracy of Several Multispectral Image Capture Techniques
A paired comparison psychophysical experiment was performed to evaluate the quality of several imaging techniques. Images rendered for an LCD were compared with two- and three-dim...
Ellen A. Day, Roy S. Berns, Lawrence A. Taplin, Fr...
167
Voted
CONCUR
2010
Springer
15 years 7 months ago
Learning I/O Automata
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
Fides Aarts, Frits W. Vaandrager
142
Voted
LDTA
2010
15 years 6 months ago
Faster ambiguity detection by grammar filtering
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
H. J. S. Basten, Jurgen J. Vinju
« Prev « First page 1837 / 2053 Last » Next »