20066 search results - page 332 / 4014 » T Spaces |
187
click to vote
ACMIDC
2008
15 years 8 months ago
2008
Several simulation environments exist that create a place in which students can explore scientific phenomena. In this paper, we propose design guidelines for creating a classroom ...
170
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
We show that the category FinVectk of finite dimensional vector spaces and linear maps over any field k is (collectively) complete for the traced symmetric monoidal category freely...
183
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Embedded processor performance is dependent on both the underlying architecture and the compiler optimisations applied. However, designing both simultaneously is extremely difficu...
212
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
171
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
During software development and evolution activities, the developers focus the refactoring efforts on choosing and applying refactoring patterns (or sequences of patterns) that ar...