4880 search results - page 258 / 976 » Manuals as Structured Programs |
124
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...
232
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
116
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
126
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
128
click to vote
VL
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper shows how a general purpose data flow visual programming environment can be effectively used to find, collect and manipulate information available on the web. The discu...