125 search results - page 9 / 25 » Prototyping, Domain Specific Language, and Testing |
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
IR
2006
13 years 8 months ago
2006
The complexity and diversity of government regulations make understanding and retrieval of regulations a non-trivial task. One of the issues is the existence of multiple sources o...
CICLING
2001
Springer
14 years 14 days ago
2001
Springer
The problem of document categorization is considered. The set of domains and the keywords specific for these domains is supposed to be selected beforehand as initial data. We apply...
SAS
1992
Springer
14 years 22 hour ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
PERVASIVE
2010
Springer
13 years 10 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...