4196 search results - page 198 / 840 » Supporting the development of network programs |
107
click to vote
NETWORK
2006
15 years 3 months ago
2006
Wireless Sensor Networks (WSNs) are expected to be deployed for long periods of time, and the nodes are likely to need software updates during their lifetime, both for bug fixes a...
146
click to vote
SIGCSE
2010
ACM
15 years 9 months ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
125
Voted
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
In this paper, we propose ColorSafe, an architecture that detects and dynamically avoids single- and multi-variable atomicity violation bugs. The key idea is to group related data...
158
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: The ability to distinguish between genes and proteins is essential for understanding biological text. Support Vector Machines (SVMs) have been proven to be very effici...
159
click to vote
FOIKS
2006
Springer
15 years 7 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...