1129 search results - page 163 / 226 » SAC and neighbourhood SAC |
156
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
183
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...
167
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In Information Visualization, adding and removing data elements can strongly impact the underlying visual space. We introduce a chess board analogy for displaying (projecting) obj...
143
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In recent years, it has become important for researchers, security incident responders and educators to share network logs, and many log anonymization tools and techniques have be...
146
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its specifics and particularities that re...