Following the agile philosophy that all core features of a system need an automated test harness, performance requirements also need such a check when they are essential for the s...
Future planetary exploration missions will use cooperative robots to explore and sample rough terrain. To succeed robots will need to cooperatively acquire and share data. Here a c...
Vivek A. Sujan, Steven Dubowsky, Terrance L. Hunts...
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
The emerging ubiquitous computing is changing the current computing paradigm, and it lets the ubiquitous RFID applications consistently and independently utilize the sensed inform...
Dongwon Jeong, Keunhwan Jeon, Jang-won Kim, Jinhyu...
Desktop environments have proven to be a powerful user interface and are used as the de facto standard human-computer interaction paradigm for over 40 years. However, there is a ri...
Frank Steinicke, Timo Ropinski, Gerd Bruder, Klaus...