Sciweavers

2455 search results - page 186 / 491
» Graphical abstract help
Sort
View
UML
2000
Springer
15 years 7 months ago
Using UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
Aynur Abdurazik, A. Jefferson Offutt
138
Voted
EICS
2009
ACM
15 years 7 months ago
Plug-and-design: embracing mobile devices as part of the design environment
Due to the large amount of mobile devices that continue to appear on the consumer market, mobile user interface design becomes increasingly important. The major issue with many ex...
Jan Meskens, Kris Luyten, Karin Coninx
134
Voted
ASSETS
2008
ACM
15 years 6 months ago
Sudoku access: a sudoku game for people with motor disabilities
Educational games are a beneficial activity motivating a large number of students in our society. Unfortunately, disabled people have reduced opportunities when using a computer g...
Stéphane Norte, Fernando G. Lobo
CCS
2008
ACM
15 years 6 months ago
Towards automatic reverse engineering of software security configurations
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
Rui Wang 0010, XiaoFeng Wang, Kehuan Zhang, Zhuowe...
JCDL
2010
ACM
166views Education» more  JCDL 2010»
15 years 6 months ago
Timeline interactive multimedia experience (time): on location access to aggregate event information
Attending a complex scheduled social event, such as a multi-day music festival, requires a significant amount of planning before and during its progression. Advancements in mobile...
Jeff Crow, Eryn Whitworth, Ame Wongsa, Luis Franci...