4008 search results - page 349 / 802 » An expressive language of signatures |
194
click to vote
VIROLOGY
2010
15 years 5 months ago
2010
By looking on how computer security issues are handled today, dealing with numerous and unknown events is not easy. Events need to be normalized, abnormal behaviors must be describ...
188
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We study methods that allow web sites to safely combine JavaScript from untrusted sources. If implemented properly, filters can prevent dangerous code from loading into t...
170
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
Pointing combined with verbal referring is one of the most paradigmatic human multimodal behaviours. The aim of this paper is foundational: to uncover the central notions that are...
174
click to vote
ESOP
2007
Springer
16 years 29 days ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
210
click to vote
ASP
2003
Springer
16 years 1 days ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...