To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
The method of evolutionary functional testing allows for the automation of testing by transforming test case design into an optimization problem. To this end it is necessary to def...
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...
Scientific practices increasingly incorporate sensors for data capture, information visualization for data analysis, and low-cost mobile devices for fieldbased inquiries incorpora...
Daniel Spikol, Marcelo Milrad, Heidy Maldonado, Ro...
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Based on interviews with projec...