2243 search results - page 14 / 449 » Contracts for Mobile Processes |
114
Voted
IDEAL
2005
Springer
15 years 7 months ago
2005
Springer
Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the ...
113
click to vote
DAIS
2006
15 years 3 months ago
2006
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...
JISBD
2001
15 years 3 months ago
2001
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
119
click to vote
SPAA
2005
ACM
15 years 7 months ago
2005
ACM
The page migration problem is one of subproblems of data management in networks. It occurs in a distributed network of processors sharing one indivisible memory page of size D. Du...
88
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Mobile agents require access to computing resources on heterogeneous systems across the Internet. This demo illustrates how agents can negotiate terms and conditions of resource a...