942 search results - page 74 / 189 » From System Comprehension to Program Comprehension |
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
The Louisiana Coastal Area presents an array of rich and urgent scientific problems that require new computational approaches. These problems are interconnected with common compon...
CADE
1990
Springer
14 years 25 days ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
CSMR
1999
IEEE
14 years 1 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
Currently, video analysis algorithms suffer from lack of information
regarding the objects present, their interactions,
as well as from missing comprehensive annotated video
dat...
FC
2010
Springer
14 years 20 days ago
2010
Springer
A key way in which banks mitigate the effects of phishing is to remove fraudulent websites or suspend abusive domain names. This ‘take-down’ is often subcontracted to special...