2364 search results - page 446 / 473 » An Engine for Computing Well-Founded Models |
132
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Today’s wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...
126
Voted
ITNG
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose a hierarchy-driven approach to facilitate student learning and foster a deeper understanding of the importance of attack patterns in computer, network, and software sec...
126
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
166
Voted
P2P
2006
IEEE
15 years 9 months ago
2006
IEEE
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
140
Voted
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
Academics and industry professionals alike have long been interested in developing a nuanced and empirically sound typography of online gamers. Designers and engineers are aware o...