3688 search results - page 564 / 738 » Static analysis of aspects |
193
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
197
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...
152
click to vote
SG
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we investigate how discourse context in the form of short-term memory can be exploited to automatically group consecutive strokes in digital freehand sketching. With...
206
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Previous work is reviewed and an experiment described to examine the spatial and strategic cognitive factors impacting on human orientation in the `drop-off' static orientatio...
142
click to vote
FC
2010
Springer
15 years 10 months ago
2010
Springer
We describe a method for identifying “typosquatting”, the intentional registration of misspellings of popular website addresses. We estimate that at least 938 000 typosquatting...