5615 search results - page 1052 / 1123 » On the Computational Capabilities of Several Models |
WISE
2002
Springer
15 years 2 months ago
2002
Springer
In recent years, several information retrieval methods using information about the Web-links are developed, such as HITS and Trawling. In order to analyze the Web-links dividing i...
CSEE
2000
Springer
15 years 2 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
SMA
1999
ACM
15 years 2 months ago
1999
ACM
Accurate prediction of the swept volume of a cutting tool is essential in NC verification algorithms for detecting deficiencies in a proposed tool path, such as gouging, undercutt...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
The evolution of mobile technologies, like web-enable cellphones, PDAs and wireless networks, makes it now possible to use these technologies for collaborative work through web-bas...
OPODIS
2007
14 years 11 months ago
2007
Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumptions that such a system has to satisfy for a common leade...