3547 search results - page 540 / 710 » Pseudo-Exhaustive Testing for Software |
180
click to vote
UIST
2003
ACM
16 years 10 days 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...
221
click to vote
AMKM
2003
Springer
16 years 10 days 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...
177
click to vote
FOSSACS
2003
Springer
16 years 9 days 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...
179
click to vote
ICFEM
2003
Springer
16 years 9 days 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...
185
click to vote
COMPIMAGE
2010
Springer
16 years 6 days 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...