4752 search results - page 475 / 951 » Dependability in Web Software |
172
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
As a collaborative social tool in web2.0 ear, wiki has a great potential in supporting learners’ collaborative learning. After analyzing the present wiki research on learning ac...
177
click to vote
COMPSAC
2006
IEEE
16 years 28 days ago
2006
IEEE
QoS has been one of the major challenges in Web Services area. Though negotiated in the contract, service quality usually can not be guaranteed by providers. Therefore, the servic...
171
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
We describe an automated environment to assist a system-on-achip designer to tune a microprocessor core to a particular application program that will run on the microprocessor, an...
142
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
153
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
The recent explosion in distance learning programs on the world-wide web has spawned a lively debate on the future and the potential of these programs. While distance learning wil...