7766 search results - page 357 / 1554 » Testing Nondeterminate Systems |
222
click to vote
ICNS
2006
IEEE
16 years 23 days ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
142
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper investigates the factors affecting the Loyal Use of a Knowledge Management System (KMS). Unlike most other types of information systems, the value from using a KMS is t...
156
click to vote
MM
2005
ACM
16 years 9 days ago
2005
ACM
We propose IMAGINATION (IMAge Generation for INternet AuthenticaTION), a system for the generation of attack-resistant, user-friendly, image-based CAPTCHAs. In our system, we prod...
168
click to vote
LPAR
2005
Springer
16 years 7 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 5 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...