2687 search results - page 287 / 538 » Formal Analysis of PKCS |
162
click to vote
ISOLA
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
154
click to vote
UML
2004
Springer
16 years 1 hour ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
151
Voted
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...
197
click to vote
DOCENG
2003
ACM
15 years 12 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
180
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...