2111 search results - page 314 / 423 » How to Program Pervasive Systems |
154
click to vote
FSEN
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
158
click to vote
HICSS
2007
IEEE
16 years 17 days ago
2007
IEEE
The recent emergence of web mash-ups and open source software is driving the development of new practices in software and systems development. In this paper we explore novel pract...
139
click to vote
KBSE
2007
IEEE
16 years 16 days ago
2007
IEEE
As part of the evolution of software systems, effort is often invested to discover in what parts of the source code a feature (or other concern) is implemented. Unfortunately, kn...
191
click to vote
AIHC
2007
Springer
16 years 13 days ago
2007
Springer
Instinctive computing is a computational simulation of biological and cognitive instincts. It is a meta-program of life, just like universal gravity in nature. It profoundly influe...
136
click to vote
IFIP
2007
Springer
16 years 12 days ago
2007
Springer
The definition of the next generation of wireless networks is well under way within the IEEE 802.11 High Throughput Task Group committee. The resulting standard, to be called IEEE...