Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case mo...
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
This paper presents our experience in providing students with the best course material possible for the distance learning system at the University of Bucharest. We adapted each ye...
Mihaela Gheorghe, Michaela Logofatu, Daniel Horhoc...
Air traffic flow management (TFM) is a set of processes and procedures which seek to balance the demand for airspace resources with the capacity of these resources. Examples of re...
Lynne Fellman, James S. DeArmon, Kelly A. Connolly
Wireless sensor networks have become increasingly common in everyday applications due to decreasing technology costs and improved product reliability. An ideal application for wire...