2687 search results - page 287 / 538 » Formal Analysis of PKCS |
182
click to vote
ISOLA
2004
Springer
16 years 18 days 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...
182
click to vote
UML
2004
Springer
16 years 17 days 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...
165
click to vote
CVPR
2010
IEEE
16 years 17 days 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...
227
click to vote
DOCENG
2003
ACM
16 years 14 days 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 ...
203
click to vote
ATAL
2003
Springer
16 years 14 days 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...