740 search results - page 110 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
119
click to vote
SEMWIKI
2008
15 years 2 months ago
2008
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific and m...
110
click to vote
IJFCS
2006
15 years 1 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
101
click to vote
IV
2006
IEEE
15 years 7 months ago
2006
IEEE
In modern cartography of the late twentieth century, the Internet offers an ideal platform for the communication via maps. The map graphics pose as an essential part of the graphi...
108
click to vote
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
To be agile and cost effective, data centers should allow dynamic resource allocation across large server pools. In particular, the data center network should enable any server to...
162
click to vote
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
So far, the search for Opportunistic Network (ON) applications has focused on urban/rural scenarios where the combined use of mobility and the store-carry-and-forward paradigm hel...