1526 search results - page 157 / 306 » Roles: A Four-Dimensional Analysis |
164
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
234
click to vote
CANDT
2009
15 years 11 months ago
2009
We argue that along with social network analysis researchers can also benefit from looking at the identity bonding perspective. In this paper, by synthetic and critical reviewing ...
198
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
215
click to vote
CNSR
2004
IEEE
15 years 10 months ago
2004
IEEE
Web usage mining plays an important role in the personalization of Web services, adaptation of Web sites, and the improvement of Web server performance. It applies data mining tec...
164
click to vote
DGCI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The notion of skeleton plays a major role in shape analysis. Some usually desirable characteristics of a skeleton are: sufficient for the reconstruction of the original o...