4460 search results - page 613 / 892 » Formal methods for interactive systems |
159
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
176
click to vote
APN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
192
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we will examine two main aspects of trust dynamics: a) How direct experiences involving trust, with their successes or failures, influence the future trust of an age...
148
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper crystallises out some key findings of knowledge management practices from a Finnish survey on the insurance industry. 15 Finnish insurance companies of different sizes ...
165
click to vote
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper introduces a mechanism for establishing policies for electronic commerce in a uni ed and secure manner. A commercial policy can be viewed as the embodiment of a contrac...