5334 search results - page 788 / 1067 » Communicating quantum processes |
171
Voted
CE
2008
15 years 6 months ago
2008
The portability and immediate communication properties of mobile devices influence the learning processes in interacting with peers, accessing resources and transferring data. For...
192
click to vote
EAAI
2007
15 years 6 months ago
2007
Multi-agent systems are widely used to address large-scale distributed combinatorial applications in the real world. One such application is meeting scheduling (MS), which is deļ¬...
186
click to vote
JLP
2006
15 years 6 months ago
2006
As long as no cooperation between processes is supposed to take place, one may consider them separately and need not ask for the progress of the respective other processes. If a c...
187
Voted
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying diļ¬erent formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
157
click to vote
ENTCS
1998
15 years 6 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...