4184 search results - page 137 / 837 » Names of Our Lives |
133
click to vote
IFM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
106
click to vote
IWMM
2009
Springer
15 years 8 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
96
Voted
AINA
2008
IEEE
15 years 8 months ago
2008
IEEE
With wireless technologies extending to every part of our daily lives, mobile networking applications are becoming increasingly popular for accessing the Internet. In this paper, ...
111
click to vote
FGCN
2008
IEEE
15 years 8 months ago
2008
IEEE
The McKIZ Aware Community will enable us to move the paradigm of an aware and assistive home to the development of an aware and assistive community infrastructure by incorporating...
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper analyzes the retrospective stories of a four person team responsible for developing a new computer game for mobile phones. Our theorizing is based on an in-depth, two y...