2940 search results - page 189 / 588 » Relational Parametricity and Control |
191
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Malware attacks necessitate extensive forensic analysis efforts that are manual-labor intensive because of the analysis-resistance techniques that malware authors employ....
194
click to vote
AICT
2010
IEEE
14 years 10 months ago
2010
IEEE
Among the various options for implementing Internet packet filters in the form of Access Control Lists (ACLs), is the intuitive – but potentially crude – method of processing t...
173
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Using a mobile device in a social context should not cause embarrassment and disruption to the immediate environment. Interaction with mobile and wearable devices needs to be subt...
144
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Analyzing the crowd dynamics from video sequences is an open challenge in computer vision. Under a high crowd density assumption, we characterize the dynamics of the crow...
153
click to vote
EMISA
2009
Springer
16 years 1 months ago
2009
Springer
: Integrated process support is highly desirable in environments where data related to a particular (business) process are scattered over distributed, heterogeneous information sys...