2243 search results - page 147 / 449 » Contracts for Mobile Processes |
148
click to vote
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
99
Voted
LREC
2010
15 years 5 months ago
2010
The national language of the Grand-Duchy of Luxembourg, Luxembourgish, has often been characterized as one of Europe's underdescribed and under-resourced languages. Because o...
127
Voted
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes an architecture and runtime system to implement distributed control and data processing applications in a thin-client manner, suitable for implementing a thin...
149
click to vote
IOLTS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we introduce an efficient technique for checkpointing multithreaded applications. Our approach makes use of processes constructed around the ARMOR (Adaptive Reconfi...
138
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Usability analysis is an important step in software development in order to improve certain aspects of the system. However, it is often a challenge especially when it comes to e...