3547 search results - page 540 / 710 » Pseudo-Exhaustive Testing for Software |
166
click to vote
UIST
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
200
click to vote
AMKM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Distributed knowledge management systems (DKMS) have been suggested to meet the requirements of today’s knowledge management. Peer-to-peer systems offer technical found...
160
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
164
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
161
click to vote
COMPIMAGE
2010
Springer
15 years 11 months ago
2010
Springer
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...