15754 search results - page 753 / 3151 » Programs are Knowledge Bases |
196
click to vote
GI
2009
Springer
16 years 5 days ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
196
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
201
click to vote
DEXA
1994
Springer
15 years 11 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
214
click to vote
DAIS
2008
15 years 9 months ago
2008
Gossip protocols have been successfully applied in the last few years to address a wide range of functionalities. So far, however, very few software frameworks have been proposed t...
214
click to vote
DBA
2006
15 years 9 months ago
2006
: Recursive queries are required in many object-oriented database applications. Among them we can mention Bill-Of-Material (BOM), stock market dependencies, various kinds of networ...