9503 search results - page 1796 / 1901 » Authenticated System Calls |
158
click to vote
CCS
2007
ACM
16 years 9 days ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
186
click to vote
EMSOFT
2007
Springer
16 years 9 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
180
click to vote
FPGA
2007
ACM
16 years 9 days ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
136
click to vote
ICFEM
2007
Springer
16 years 9 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
158
click to vote
MIDDLEWARE
2007
Springer
16 years 8 days ago
2007
Springer
Many wireless sensor network protocols are employing gossipbased message dissemination, where nodes probabilistically forward messages, to reduce message overhead. We are concerne...