3239 search results - page 208 / 648 » A Logical Process Calculus |
182
click to vote
TGC
2007
Springer
16 years 20 days ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
189
click to vote
ICAS
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
183
click to vote
HICSS
2005
IEEE
16 years 5 days ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
164
click to vote
ICCS
2005
Springer
16 years 2 days ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...
166
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...