2004 search results - page 363 / 401 » Comparison of Model Checking Tools for Information Systems |
INFOVIS
2005
IEEE
15 years 5 months ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...
ICCD
2005
IEEE
15 years 8 months ago
2005
IEEE
FPGA logic densities continue to increase at a tremendous rate. This has had the undesired consequence of increased power density, which manifests itself as higher ondie temperatu...
101
click to vote
MMS
2008
14 years 11 months ago
2008
While many multimedia systems allow the association of semantic annotations with media assets, there is no agreedupon way of sharing these among systems. As an initial step within...
ACSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
IP blacklists are a spam filtering tool employed by a large number of email providers. Centrally maintained and well regarded, blacklists can filter 80+% of spam without having to...
100
click to vote
ICDCS
2011
IEEE
13 years 11 months ago
2011
IEEE
— In the emerging cloud computing paradigm, data owners become increasingly motivated to outsource their complex data management systems from local sites to the commercial public...