949 search results - page 88 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
FORMATS
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...
LCN
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents the concept of change detection for filter-based network-state estimation. This could be useful in various contexts; two examples are network management and ad...
SAS
1991
Springer
14 years 14 days ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
LPAR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Text passwords are the primary authentication method used for most online services. Many online users select weak passwords. Regrettably, most proposed methods of strengthening pa...