990 search results - page 114 / 198 » A Static Analysis Technique for Graph Transformation Systems |
AIRWEB
2007
Springer
14 years 2 months ago
2007
Springer
Redirection spam presents a web page with false content to a crawler for indexing, but automatically redirects the browser to a different web page. Redirection is usually immediat...
PASTE
2010
ACM
13 years 9 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
CAISE
2009
Springer
14 years 2 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
CGF
2010
2010
ProbExplorer: Uncertainty-guided Exploration and Editing of Probabilistic Medical Image Segmentation
13 years 8 months ago
In this paper, we develop an interactive analysis and visualization tool for probabilistic segmentation results in medical imaging. We provide a systematic approach to analyze, in...
ISSS
1996
IEEE
14 years 21 hour ago
1996
IEEE
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...