906 search results - page 119 / 182 » Linking Theories of Concurrency |
ERLANG
2004
ACM
15 years 3 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
BIRTHDAY
2004
Springer
15 years 3 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
ISSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
COLCOM
2009
IEEE
15 years 2 months ago
2009
IEEE
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
101
click to vote
TABLEAUX
1998
Springer
15 years 2 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...