9640 search results - page 1648 / 1928 » Information Systems Development as an Activity |
198
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
173
click to vote
INFOCOM
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— In this paper, we develop and analyze a lowcomplexity cooperative protocol that significantly increases the average throughput of multi-hop upstream transmissions for ...
214
click to vote
ADAPTIVE
2007
Springer
16 years 25 days ago
2007
Springer
The large amount of available information on the Web makes it hard for users to locate resources about particular topics of interest. Traditional search tools, e.g., search engines...
179
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
This paper develops a Semantic Web application, namely WorldWideWatch or WWWatch, in short. By employment of Semantic Web technologies, WWWatch analyses and visualizes social netwo...
170
click to vote
ICEIS
2006
IEEE
16 years 20 days ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...