778 search results - page 116 / 156 » Live Social Semantics |
ACSD
2003
IEEE
14 years 2 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
DSN
2003
IEEE
14 years 2 months ago
2003
IEEE
Many fault-tolerant group communication middleware systems have been implemented assuming crash failure semantics. While this assumption is not unreasonable, it becomes hard to ju...
IUI
1997
ACM
14 years 1 months ago
1997
ACM
Most classification tasks that have been tackled for automation are ones involving complex chains of causal reasoning. However, our daily lives are filled with simple classificati...
CSL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
OPODIS
2004
13 years 10 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...