1665 search results - page 246 / 333 » Design Patterns as Language Constructs |
FASE
2005
Springer
14 years 3 months ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
LREC
2010
13 years 11 months ago
2010
One of the essential functions of natural language is to talk about spatial relationships between objects. Linguistic constructs can express highly complex, relational structures ...
ISCI
1998
13 years 9 months ago
1998
F TP (Fuzzy Template Predicate) is proposed as a template to incorporate concept-based match into fuzzy production languages. A thesaurus augmented in F TP supports the conceptbas...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
XML has become one of the core technologies for contemporary business applications, especially web-based applications. To facilitate processing of diverse XML data, we propose an ...
PADL
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...