1516 search results - page 203 / 304 » Trends in Software Verification |
155
Voted
AVI
2008
15 years 6 months 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...
121
click to vote
IUI
2010
ACM
15 years 5 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...
110
click to vote
IESA
2007
15 years 5 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...
128
Voted
ISSRE
2007
IEEE
15 years 5 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...
132
click to vote
AVI
2010
15 years 5 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...