10575 search results - page 1989 / 2115 » T2Script Programming Language |
117
Voted
ASC
2006
15 years 4 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...
128
Voted
CIIT
2004
15 years 4 months ago
2004
Vulnerabilities arising from in-secure network protocol design and implementation present significant challenges to the network protocol community. Yet much of the focus is on sof...
99
Voted
CASCON
2006
15 years 4 months ago
2006
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
121
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
137
Voted
DLT
2006
15 years 4 months ago
2006
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...