9503 search results - page 1536 / 1901 » Authenticated System Calls |
181
click to vote
EUROCRYPT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We consider the problem of sending messages into the future." Previous constructions for this task were either based on heuristic assumptions or did not provide anon...
174
click to vote
SCCC
1999
IEEE
15 years 11 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
193
click to vote
WECWIS
1999
IEEE
15 years 11 months ago
1999
IEEE
Analysis of network and application pegormance is traditionally based on mathematical models derived from first principles. Such models are usually complex, diflcult to use, and d...
207
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
220
click to vote
ICVS
1999
Springer
15 years 11 months ago
1999
Springer
While computing power and transmission bandwidth have both been steadily increasing over the last few years, bandwidth rather than processing power remains the primary bottleneck f...