10271 search results - page 455 / 2055 » Computer Science |
160
Voted
JVA
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
117
click to vote
SIGCSE
2000
ACM
15 years 9 months ago
2000
ACM
The growing maturity of computer graphics technology now makes it possible to view the introductory graphics course in a general computer science curriculum in a new light. Instea...
138
click to vote
CG
2000
Springer
15 years 4 months ago
2000
Springer
The field of computer graphics has matured greatly since the formal statement of the introductory undergraduate course for computer science majors was created for ACM/IEEE Curricu...
287
click to vote
Publication
Popular myths that cheaper memory, high-speed links and high-speed processors will solve the problem of congestion in computer networks are shown to be false. A simple definition f...
295
click to vote
Lecture Notes
This is a series of laboratory exercises designed for use in data communication, computer networking and telecommunication courses. These labs enable students to experiment with va...