862 search results - page 72 / 173 » A Framework for Testing Peer-to-Peer Systems |
156
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
156
click to vote
ERLANG
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
147
click to vote
ICWS
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
131
Voted
WISE
2007
Springer
16 years 9 days ago
2007
Springer
Based on SCORM sequencing and navigation specifications, a learning management system has been developed. The system has intelligent tutoring system capabilities that allow content...
157
click to vote
TSD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a brand-new Slovak text-to-speech system. It was developed within the framework of ARTIC system (primarily designed to synthesize Czech speech) with r...