4196 search results - page 314 / 840 » Supporting the development of network programs |
181
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Applications in the Pervasive Computing domain are challenged by the dynamism in which their execution environment changes, e.g. due to user mobility. As a result, applications ha...
198
click to vote
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Interest in wireless sensor nodes has escalated over the past 10 years bringing with it a plethora of sensor hardware as well as protocol, algorithmic and application research. ...
253
click to vote
ICANN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper studies a risk minimization approach to estimate a transformation model from noisy observations. It is argued that transformation models are a natural candidat...
235
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
156
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...