4184 search results - page 31 / 837 » Names of Our Lives |
79
Voted
CEC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
MUE
2007
IEEE
15 years 3 months ago
2007
IEEE
The aging of our society presents a range of challenges to housing providers. With the advanced mobile technologies we are now able to develop quality mobile services to help seni...
ICNP
1998
IEEE
15 years 1 months ago
1998
IEEE
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
NSDI
2010
14 years 11 months ago
2010
PPLive is a popular P2P video system used daily by millions of people worldwide. Achieving this level of scalability depends on users making contributions to the system, but curre...
PERVASIVE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. Ubiquitous computing researchers are increasingly turning to sensorenabled "living laboratories" for the study of people and technologies in settings more natur...