2570 search results - page 134 / 514 » Constructing a web information system development methodolog... |
148
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
161
click to vote
CSWWS
2006
15 years 8 months ago
2006
The realization of Semantic Web vision is based on the creation and use of semantic web content which needs software tools both for semantic web developers and end users. Over the ...
135
click to vote
DATESO
2006
15 years 6 months ago
2006
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
164
click to vote
KDD
2004
ACM
16 years 5 months ago
2004
ACM
We present a case study about the application of the inductive database approach to the analysis of Web logs. We consider rich XML Web logs ? called conceptual logs ? that are gen...
156
click to vote
CCS
2011
ACM
14 years 5 months ago
2011
ACM
Browser designers create security mechanisms to help web developers protect web applications, but web developers are usually slow to use these features in web-based applications (...