431 search results - page 11 / 87 » Using Formal Methods to Reason about Architectural Standards |
CN
2002
14 years 11 months ago
2002
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
103
click to vote
FAC
2007
14 years 11 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
ASE
2008
14 years 11 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
123
click to vote
ISARCS
2010
15 years 1 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...