5550 search results - page 934 / 1110 » Different Approaches to Proof Systems |
180
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
Structured and semi-structured object representations are getting more and more important for modern database applications. Examples for such data are hierarchical structures inclu...
183
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
We describe a complete hardware/software system, dubbed Universal Real-Time Navigational Assistance (URNA), which enables communication of relevant location-aware information to a...
152
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
173
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—We take a systematic approach to developing a symmetric cryptography library in Javascript. We study various strategies for optimizing the code for the Javascript interpreter, a...
169
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Successful knowledge management results in a competitive advantage in today’s information- and knowledge-rich industries. The elaboration and integration of emerging web-based t...