9810 search results - page 1807 / 1962 » Problems, Descriptions and Objects |
149
Voted
SAC
2006
ACM
15 years 4 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
130
Voted
IJCSS
2007
15 years 4 months ago
2007
People have trusted in face-to-face interaction more than any other modes of interactions to develop relationships and as a result of which one of the most concerned problem that ...
217
Voted
Publication
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...
170
Voted
SIGOPS
2008
15 years 4 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
138
click to vote
SMA
2008
ACM
15 years 4 months ago
2008
ACM
In recent years, there has been an increasing interest in developing geometric algorithms for kinematic computations. The aim of this paper is to present the notion of kinematic c...