3706 search results - page 268 / 742 » The Transformational Approach to Program Development |
128
click to vote
ADHOC
2007
15 years 3 months ago
2007
In many sensor networking environments, the sensor nodes have limited battery capacity and processing power. Hence, it is imperative to develop solutions that are energy-efficient...
124
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
126
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Developing scalable algorithms for solving partially observable Markov decision processes (POMDPs) is an important challenge. One promising approach is based on representing POMDP...
121
Voted
DSE
1998
15 years 3 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
157
Voted
TPLP
2002
15 years 3 months ago
2002
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...