68 search results - page 3 / 14 » Impossibility Results for the Equational Theory of Timed CCS |
ISSAC
1997
Springer
13 years 11 months ago
1997
Springer
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
It has been asserted previously by the author that optimal control theory can be a valuable framework for theoretical studies about the shape that a wind instrument should have in...
ICAI
2003
13 years 9 months ago
2003
Children will develop their parental languages correctly, since language learners come to obtain the one which they contact most in the community. At the same time, children would ...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Keystroke typing characteristics is considered as one of the important biometric features that can be used to protect users against malicious attacks. In this paper we propose a s...
CCS
2011
ACM
12 years 7 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...