9145 search results - page 1644 / 1829 » Description Logic Systems |
129
Voted
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
114
Voted
SLIP
2009
ACM
15 years 10 months ago
2009
ACM
The present paper is part of a larger effort to redesign, from the ground up, the best possible interconnect topologies for switchless multiprocessor computer systems. We focus he...
162
click to vote
AINA
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper is a contribution to the inception of multiple tokens in solving distributed mutual exclusion problem. The proposed algorithm is based on the token ring approach and al...
142
Voted
ASAP
2008
IEEE
15 years 10 months ago
2008
IEEE
Many complex systems require the use of floating point arithmetic that is exceedingly time consuming to perform on personal computers. However, floating point operators are also h...
129
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
In the last decade, the focus of fault-tolerance methods has tended towards circuit level modifications, such as transistor resizing, and away from expensive system level redunda...