6740 search results - page 663 / 1348 » Using Classification as a Programming Language |
191
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
165
click to vote
PPDP
2007
Springer
16 years 21 days ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
160
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
213
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
The design and implementation of distributed real-time dependable systems is often dominated by non-functional considerations like timeliness, object placement and fault tolerance...
177
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...