7202 search results - page 1369 / 1441 » Software System Engineering: A Tutorial |
149
click to vote
UIST
2003
ACM
15 years 10 months ago
2003
ACM
Classroom BRIDGE supports activity awareness by facilitating planning and goal revision in collaborative, project-based middle school science. It integrates largescreen and deskto...
156
click to vote
VRST
2003
ACM
15 years 10 months ago
2003
ACM
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...
117
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
Since the first results published in 1973 by Liu and Layland on the Rate Monotonic (RM) and Earliest Deadline First (EDF) algorithms, a lot of progress has been made in the schedu...
121
click to vote
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
111
Voted
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....