4418 search results - page 309 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
186
Voted
ENTCS
2007
15 years 6 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
179
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
163
click to vote
ECIS
2000
15 years 8 months ago
2000
As electronic commerce will increase, players will increasingly wish to have signed documents and strong encryption. According to current knowledge, it must be expected that the co...
171
Voted
GI
2003
Springer
15 years 12 months ago
2003
Springer
: The integrated approach for analysis of Large Complex Critical Infrastructures (LCCIs) to afford survivability aimed at preparing a Roadmap for Research and Development for criti...
176
click to vote
CAIP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...