1516 search results - page 203 / 304 » Trends in Software Verification |
AVI
2008
15 years 6 days ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...
IUI
2010
ACM
14 years 12 months ago
2010
ACM
We present Luminoso, a tool that helps researchers to visualize and understand a dimensionality-reduced semantic space by exploring it interactively. It also streamlines the proce...
IESA
2007
14 years 11 months ago
2007
In the area of Human Resource Management, the trend is towards online exchange of information about human resources. For example, online applications for employment become standar...
ISSRE
2007
IEEE
14 years 11 months ago
2007
IEEE
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
AVI
2010
14 years 11 months ago
2010
We present TimeNets, a new visualization technique for genealogical data. Most genealogical diagrams prioritize the display of generational relations. To enable analysis of famili...