3514 search results - page 504 / 703 » Evolving Specification Engineering |
145
click to vote
WEBI
2005
Springer
15 years 12 months ago
2005
Springer
Search engines are powerful tools to find information on the Web. However, they commonly return a lot of irrelevant documents when the users’ queries are not specific enough. To...
150
click to vote
JCDL
2004
ACM
15 years 12 months ago
2004
ACM
We introduce CiteSeer-API, a public API to CiteSeer-like services. CiteSeer-API is SOAP/WSDL based and allows for easy programatical access to all the specific functionalities off...
159
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
147
click to vote
WPES
2004
ACM
15 years 12 months ago
2004
ACM
As computing becomes more ubiquitous and Internet use continues to rise, it is increasingly important for organizations to construct accurate and effective privacy policies that d...
165
click to vote
ARCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract: This paper presents the initial design and implementation of a Gridbased distributed and parallel data mining system. The Grid system, namely the Business Intelligence Gr...