2243 search results - page 48 / 449 » Contracts for Mobile Processes |
168
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
121
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
The bursting of the e-bubble affected expectations with regard to mobile initiatives and willingness to invest in them very negatively. In both academia and practice, there has re...
111
Voted
MOBIHOC
2001
ACM
16 years 3 months ago
2001
ACM
In this paper, we describe the formatting guidelines for ACM SIG Proceedings.
63
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
ÈÖÓ ×× Å Ò Ñ ÒØ ËÝ×Ø Ñ× ´ÈÅË×µ Ö ÒÓÛ Ý× ÑÓÖ Ò ÑÓÖ Ù× × ×ÙÔÔÓÖØ Ò ØÓÓÐ ÓÖ ÓÓÔ Ö Ø Ú ÔÖÓ ×× × Ò Ô ÖÚ × Ú Ò Ð...
122
Voted
ICEIS
2009
IEEE
15 years 10 months ago
2009
IEEE