3483 search results - page 242 / 697 » Forward |
166
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
152
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...
173
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
We propose a hybrid model to alleviate the notorious problem of premature battery depletion in sensor networks: in a first stage, simple sensors are deployed over an area of inter...
159
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
The middleware infrastructure to support applications is becoming critically important to the new horizons of mobile and pervasive computing. In this context, the goal of our work...
227
click to vote
EWSN
2006
Springer
16 years 6 months ago
2006
Springer
For the proper design of energy-efficient error control schemes some insight into channel error patterns is needed. This paper presents bit error and packet loss measurements taken...