1204 search results - page 142 / 241 » Termination of Polynomial Programs |
82
Voted
IWANN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We explore the use of mobile social network technology combined with modern mobile phone hardware as a platform for programming applications in the elder care area. An ap...
102
click to vote
IFIP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we present a novel mechanism for the multicast congestion control over UMTS networks. The proposed mechanism is based on the well known TCP-Friendly Multicast Conges...
93
Voted
ITNG
2006
IEEE
15 years 6 months ago
2006
IEEE
We introduce a measurement system architecture, which has three main qualities: secure two-way transfer of measurement data, quick adaptability to different kinds of measurement ...
127
click to vote
DSVIS
2005
Springer
15 years 6 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
SAS
2005
Springer
15 years 6 months ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...