135 search results - page 15 / 27 » Aspects of Broad Folksonomies |
PAM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Communities of interest (COI) have been applied in a variety of environments ranging from characterizing the online buying behavior of individuals to detecting fraud in t...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
Middleware helps to manage the complexity and heterogeneity inherent in distributed systems. Traditional middleware has a monolithic architecture, which makes it difficult to adap...
NORDSEC
2009
Springer
14 years 11 days ago
2009
Springer
Abstract. To have certainty about identities is crucial for secure communication in digital environments. The number of digital identities that people and organizations need to man...
PAPM
2001
Springer
14 years 7 days ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
TPHOL
1999
IEEE
14 years 3 days ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...