Usability testing based on paper prototypes and early versions of the software were added to the agile development process for the second application release resulting in a signif...
Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for det...
Service availability is of key importance to operations and maintenance systems for mobile telephony networks. This paper will describe some of the challenges in providing continu...
: The problem of a finding of ranging of the objects nearest to the cyclic relation set by the expert between objects is considered. Formalization of the problem arising at it is r...
A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain "precise" relations to unambiguously des...
Ivana Mijajlovic, Noah Torp-Smith, Peter W. O'Hear...