Mobile ad hoc networks (MANETs) are a very promising next generation networks. Prediction is an essential aspect in the deployment of MANETs. Current work mainly focuses on mobili...
Very little is known about professional programmers’ mental representations of variables, yet this information is vital in designing effective tools for program comprehension. I...
Abstract. We propose a new model for image decomposition which separates an image into a cartoon, consisting only of geometric objects, and an oscillatory component, consisting of ...
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...