1852 search results - page 236 / 371 » From Bi-ideals to Periodicity |
MOBISYS
2004
ACM
14 years 9 months ago
2004
ACM
We study the problem of tracking a moving device under two indoor location architectures: an active mobile architecture and a passive mobile architecture. In the former, the infra...
EWSN
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Harsh deployment environments and uncertain run-time conditions create numerous challenges for postmortem time reconstruction methods. For example, motes often reboot and...
STACS
2010
Springer
14 years 5 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...
WCRE
2009
IEEE
14 years 4 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
P2P
2009
IEEE
14 years 4 months ago
2009
IEEE
The enormous interest for peer-to-peer systems in recent years has prompted research into finding scalable and robust seeding and searching methods to support these overlay netwo...