862 search results - page 72 / 173 » A Framework for Testing Peer-to-Peer Systems |
166
click to vote
LPAR
2005
Springer
16 years 6 days 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 ...
180
click to vote
ERLANG
2004
ACM
16 years 4 days 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...
167
click to vote
ICWS
2010
IEEE
15 years 8 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...
142
click to vote
WISE
2007
Springer
16 years 1 months 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...
179
click to vote
TSD
2004
Springer
16 years 2 days 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...