1159 search results - page 76 / 232 » On The Next Move in Programming |
110
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper we consider how to efficiently identify tags on the moving conveyor. Considering conditions like the path loss and multi-path effect in realistic settings, we first p...
98
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...
106
click to vote
CSMR
2003
IEEE
15 years 5 months ago
2003
IEEE
Software services are being promoted as the next big step forward in software engineering.. Inevitably, both service vendor and service client programs will require maintenance. W...
106
click to vote
ICDCS
2002
IEEE
15 years 5 months ago
2002
IEEE
The next generation of computing systems will be embedded, in a virtually unbounded number, and dynamically connected. The current software, network architectures, and their assoc...
118
Voted
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...