3547 search results - page 531 / 710 » Pseudo-Exhaustive Testing for Software |
205
click to vote
SIES
2007
IEEE
16 years 26 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
135
click to vote
ADBIS
2007
Springer
16 years 23 days ago
2007
Springer
Replication is crucial to achieve high availability distributed systems. However, non-determinism introduces consistency problems between replicas. Transactions are very well suite...
160
click to vote
ADC
2007
Springer
16 years 23 days ago
2007
Springer
A huge diversity of biological databases is available via the Internet, but many of these databases have been developed in an ad hoc manner rather than in accordance with any data...
186
click to vote
CLEF
2007
Springer
16 years 23 days ago
2007
Springer
This paper reports on experiments submitted for the robust task at CLEF 2007. We applied a system previously tested for ad-hoc retrieval. Experiments were focused on the effect of...
163
click to vote
CSCWD
2007
Springer
16 years 23 days ago
2007
Springer
Ubiquitous computing is increasingly becoming part of our lives. Various computing devices, having different sizes and capabilities, and using different software platforms are part...