Sciweavers

8266 search results - page 1534 / 1654
» Information About the Journal
Sort
View
IPSN
2007
Springer
16 years 17 days ago
A platform for ubiquitous sensor deployment in occupational and domestic environments
In this paper, we introduce the “Plug” sensor network, a ubiquitous networked sensing platform ideally suited to broad deployment in environments where people work and live. T...
Joshua Lifton, Mark Feldmeier, Yasuhiro Ono, Camer...
TACAS
2007
Springer
165views Algorithms» more  TACAS 2007»
16 years 16 days ago
Multi-objective Model Checking of Markov Decision Processes
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Va...
WEBI
2007
Springer
16 years 16 days ago
PLF: A Publication List Web Page Finder for Researchers
Finding and keeping track of other researchers’ publication lists is an essential activity for every researcher, because they often contain citations not found elsewhere and may...
Kai-Hsiang Yang, Jen-Ming Chung, Jan-Ming Ho
AICCSA
2006
IEEE
137views Hardware» more  AICCSA 2006»
16 years 15 days ago
Modeling Redundancy: Quantitative and Qualitative Models
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shere...
GLOBECOM
2006
IEEE
16 years 14 days ago
Progressive Accumulative Routing in Wireless Networks
This paper considers a sensor network where relay nodes cooperate in order to minimize the total energy consumption for the unicast transmission of a message from a single source ...
Raymond Yim, Neelesh B. Mehta, Andreas F. Molisch,...
« Prev « First page 1534 / 1654 Last » Next »