3081 search results - page 76 / 617 » A Formal Ontology of Properties |
ICSE
1994
IEEE-ACM
15 years 4 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
104
click to vote
JDCTA
2010
14 years 6 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
IEEEARES
2010
IEEE
15 years 6 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
MKWI
2008
15 years 1 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
SEKE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...