1157 search results - page 155 / 232 » Events Can Make Sense |
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
WEBDB
2010
Springer
14 years 2 months ago
2010
Springer
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Previously, we developed a method and a distributed platform for the re-engineering of applications by adding cooperation. The goal was to supply a way of communication based on t...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
PADS
1998
ACM
14 years 1 months ago
1998
ACM
In traditional distributed simulation schemes, entire simulation needs to be restarted if any of the participating LP crashes. This is highly undesirable for long running simulati...