10182 search results - page 1853 / 2037 » Case Studies |
172
click to vote
ATVA
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
180
click to vote
CAISE
2007
Springer
16 years 7 days ago
2007
Springer
Data cleaning is the process of correcting anomalies in a data source, that may for instance be due to typographical errors, or duplicate representations of an entity. It is a cruc...
154
click to vote
CCS
2007
ACM
16 years 7 days ago
2007
ACM
Malicious programs spy on users’ behavior and compromise their privacy. Even software from reputable vendors, such as Google Desktop and Sony DRM media player, may perform undes...
155
click to vote
CIKM
2007
Springer
16 years 7 days ago
2007
Springer
Visualizing network data, from tree structures to arbitrarily connected graphs, is a difficult problem in information visualization. A large part of the problem is that in network...
148
click to vote
ECMDAFA
2007
Springer
16 years 7 days ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...