Software verification is an established method to ensure software safety. Nevertheless, verification still often fails, either because it consumes too much resources, e.g., time or memory, or the technique is not mature enough to verify the property. Often then discarding the partial verification, the validation process proceeds with techniques like testing. To enable standard testing to profit...

New wireless sensor network applications (e.g., military surveillance) require higher reliability than a simple best effort service could provide. Classical reliable transport protocols like Transmission Control Protocol (TCP) are not well suited for wireless sensor networks due to both the characteristics of the network nodes (low computing power, strong energy constraints) and those of the ma...

In this study, secondary school teachers’ acceptance of a digital learning environment (DLE) was investigated. Questionnaires were taken on three times (T1/T2/T3) during the same school year, with the Unified Theory of Acceptance and Use of Technology (UTAUT) as theoretical framework. Next to questionnaires, user-logs were collected during the entire school year. A total of 72 teachers complete...

One of important aspects of software projects is estimating the cost and time required to develop projects. Nowadays, this issue has become one of the key concerns of project managers. Accurate estimation of essential effort to produce and develop software is heavily effective on success or failure of software projects and it is highly regarded as a vital factor. Failure to achieve convincing a...

<p style='text-indent:20px;'>This paper deals with a one-period two-stage supply chain, in which loss-averse retailer facing stochastic demand orders products from risk-neutral supplier subject to yield uncertainty. Marketing effort exerted by the is employed enhance final market demand. We first establish performance benchmark, and show that wholesale price contract fails coordinate chai...

According to prominent models in cognitive psychology, neuroscience, and economics, effort (be it physical or mental) is costly: when given a choice, humans and non-human animals alike tend to avoid effort. Here, we suggest that the opposite is also true and review extensive evidence that effort can also add value. Not only can the same outcomes be more rewarding if we apply more (not less) eff...