2364 search results - page 446 / 473 » An Engine for Computing Well-Founded Models |
162
click to vote
CSE
2009
IEEE
16 years 21 days 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...
158
click to vote
ITNG
2008
IEEE
16 years 10 days 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...
150
click to vote
EMSOFT
2007
Springer
16 years 3 days 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...
207
click to vote
P2P
2006
IEEE
15 years 12 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...
164
click to vote
DIGRA
2005
Springer
15 years 11 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...