2243 search results - page 225 / 449 » Contracts for Mobile Processes |
161
click to vote
ICN
2007
Springer
15 years 11 months ago
2007
Springer
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
144
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
147
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
—We propose a secure routing architecture for Mobile Ad hoc NETworks (MANETs) called ThroughpUt-Feedback (TUF) routing, which is resilient against a wide range of routing disrupt...
128
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
It has been suggested that use of the Naked Objects pattern could contribute to business agility of applications and reduce the amount of the application code up to 75 percent in ...
161
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
Current search engines crawl the Web, download content, and digest this content locally. For multimedia content, this involves considerable volumes of data. Furthermore, this proc...