1448 search results - page 101 / 290 » Deadlock Detection in Distributed Systems |
134
Voted
MEDINFO
2007
15 years 4 months ago
2007
Cross-language document retrieval systems require support by some kind of multilingual thesaurus for semantically indexing documents in different languages. The peculiarities of t...
121
Voted
RTAS
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
115
Voted
FMSD
2006
15 years 2 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
124
Voted
PODC
2010
ACM
15 years 4 months ago
2010
ACM
The study of complex networks led to the belief that the connectivity of network nodes generally follows a Power-law distribution. In this work, we show that modeling large-scale ...
120
Voted
AINA
2006
IEEE
15 years 8 months ago
2006
IEEE
Secure Role Based Messaging (SRBM) augments messaging systems with role oriented communication in a secure manner. Role occupants can sign and decrypt messages on behalf of roles....