3022 search results - page 245 / 605 » Make Way for WayMaker |
176
click to vote
ISPASS
2005
IEEE
16 years 6 days ago
2005
IEEE
Performance evaluation using only a subset of programs from a benchmark suite is commonplace in computer architecture research. This is especially true during early design space e...
176
click to vote
TPHOL
2005
IEEE
16 years 6 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
188
click to vote
SIGCSE
2005
ACM
16 years 6 days ago
2005
ACM
As Computer Science educators, we know that students learn more from projects that are fun and challenging, that seem “real” to them, and that allow them to be creative in des...
171
click to vote
APN
2005
Springer
16 years 5 days ago
2005
Springer
Under the umbrella of buzzwords such as “Business Activity Monitoring” (BAM) and “Business Process Intelligence” (BPI) both academic (e.g., EMiT, Little Thumb, InWoLvE, Pro...
169
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
We investigate whether it is possible to encrypt a database and then give it away in such a form that users can still access it, but only in a restricted way. In contrast to conve...