3239 search results - page 208 / 648 » A Logical Process Calculus |
139
Voted
TGC
2007
Springer
15 years 9 months 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...
153
Voted
ICAS
2006
IEEE
15 years 9 months 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,...
145
click to vote
HICSS
2005
IEEE
15 years 9 months 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...
113
Voted
ICCS
2005
Springer
15 years 9 months 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...
139
click to vote
TACAS
2004
Springer
15 years 8 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...