3911 search results - page 464 / 783 » Using Operational Architecture to Model Embedded Software |
174
click to vote
MICRO
2006
IEEE
16 years 24 days ago
2006
IEEE
Secure processor architecture enables tamper-proof protection on software that addresses many difficult security problems such as reverse-engineering prevention, trusted computing...
143
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Although engineering models of user behavior have enjoyed a rich history in HCI, they have yet to have a widespread impact due to the complexities of the modeling process. In this...
191
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
189
click to vote
IADIS
2004
15 years 8 months ago
2004
This paper presents speculative TCP connection admission, a mechanism for improving sub-optimal request distribution decisions in cluster-based servers. Overloaded server nodes in...
178
click to vote
JODS
2006
15 years 6 months ago
2006
W3C's Semantic Web provides a common framework that allows data to be shared and reused across application and enterprise. As the Semantic Web shapes the future of the Web, it...