ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
Fabien Dagnat, Marc Pantel, Matthias Colin, Patric...
In this work we propose a novel type of digital video encryption that has several advantages over other currently available digital video encryption schemes. We also present an ex...
Daniel Socek, Hari Kalva, Spyros S. Magliveras, Og...
Software product management steers the success of a product in all its lifecycle stages by thoughtful application of planning, coordination, and control. The third international w...
Tony Gorschek, Samuel Fricker, Sjaak Brinkkemper, ...
Since software is developed to run on computers, there is a tendency to focus computer science and software engineering on how best to get software to run on computers. But, engin...
Abstract. The accuracy of link-quality estimators (LQE) is missioncritical in many application scenarios in wireless sensor networks (WSN), since the link-quality metric is used fo...
Christian Renner, Sebastian Ernst, Christoph Weyer...