3362 search results - page 298 / 673 » A definition of subjective possibility |
170
click to vote
IPSN
2007
Springer
16 years 26 days ago
2007
Springer
The key application scenario of wireless sensor networks is data gathering: sensor nodes transmit data, possibly in a multi-hop fashion, to an information sink. The performance of...
200
click to vote
ISSTA
2006
ACM
16 years 21 days ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
191
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
168
click to vote
KBSE
2005
IEEE
16 years 9 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
170
click to vote
IUI
2004
ACM
16 years 4 days ago
2004
ACM
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...