373 search results - page 69 / 75 » Analysis of Recursive State Machines |
SOCA
2008
IEEE
14 years 9 months ago
2008
IEEE
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
TALG
2008
14 years 9 months ago
2008
Abstract. We present a new analysis of the well-known family of multiplicative hash functions, and improved deterministic algorithms for selecting "good" hash functions. ...
ECAI
2010
Springer
14 years 7 months ago
2010
Springer
This paper addresses the issue of supporting the end-user of a classifier, when it is used as a decision support system, to classify new cases. We consider several kinds of classif...
TMM
2010
14 years 4 months ago
2010
In this paper we report on our experiments on aligning names and faces as found in images and captions of online news websites. Developing accurate technologies for linking names a...
109
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...