1398 search results - page 17 / 280 » Ensuring Properties of Interaction Systems |
ENTCS
2011
13 years 4 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
CSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—The success of a Public Key Infrastructure such as the Web of Trust (WoT) heavily depends on its ability to ensure that public keys are used by their legitimate owners, thereby ...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Critical infrastructures display many of the characteristic properties of complex systems. They exhibit infrequent large failures events that often obey a power law distribution i...
ESOP
2003
Springer
14 years 3 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
CSCW
2011
ACM
13 years 4 months ago
2011
ACM
The relationship between social sharing of emotions, social networks and social ties is an ongoing topic of research. Such sharing of emotions occurs frequently in “social aware...