1733 search results - page 175 / 347 » On the naturalness of software |
141
click to vote
FSTTCS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
168
click to vote
UML
2005
Springer
16 years 11 hour ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
175
click to vote
UML
2005
Springer
16 years 11 hour ago
2005
Springer
Many exceptional situations arise during the execution of an application. When developing dependable software, the first step is to foresee these exceptional situations and docume...
165
click to vote
ESAW
2004
Springer
15 years 12 months ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...
181
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
—Traditional search systems are usually based on keywords, a very simple and convenient mechanism to express a need for information. This is the most extended way of searching th...