2496 search results - page 369 / 500 » Error-detecting properties of languages |
136
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
132
click to vote
DOCENG
2005
ACM
15 years 6 months ago
2005
ACM
Scalable Vector Graphics (SVG) has an imaging model similar to that of PostScript and PDF but the XML basis of SVG allows it to participate fully, via namespaces, in generalised X...
159
click to vote
DSVIS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A collection of user interface design patterns for workflow information systems is presented. Each Workflow User Interface Pattern (WUIP) is characterized by properties e...
134
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
148
click to vote
IESA
2007
15 years 6 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...