9210 search results - page 351 / 1842 » Analyzing Real-Time Systems |
142
Voted
IASTEDSEA
2004
15 years 5 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
125
Voted
MOBISYS
2011
ACM
14 years 6 months ago
2011
ACM
Modern smartphone operating systems support the development of third-party applications with open system APIs. In addition to an open API, the Android operating system also provid...
125
Voted
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
The long-term availability of data stored in a file system depends on how well it safeguards on-disk pointers used to access the data. Ideally, a system would correct all pointer...
142
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
123
Voted
DEBU
2002
15 years 3 months ago
2002
Early Web search engines closely resembled Information Retrieval (IR) systems which had matured over several decades. Around 1996