2687 search results - page 188 / 538 » Formal Analysis of PKCS |
156
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
165
click to vote
SDM
2010
SIAM
15 years 6 months ago
2010
SIAM
We study the application of spectral clustering, prediction and visualization methods to graphs with negatively weighted edges. We show that several characteristic matrices of gra...
100
click to vote
COLING
1990
15 years 5 months ago
1990
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
130
click to vote
BC
2007
15 years 4 months ago
2007
Many perceptual and cognitive processes, like decision-making and bistable perception, involve multistable phenomena under the influence of noise. The role of noise in a multistab...
129
click to vote
ENTCS
2008
15 years 4 months ago
2008
The Flexible Resource Manager (FRM) is a dynamic resource management approach that allows a better utilization of the available resources. However, it necessitates an atomic recon...