6581 search results - page 196 / 1317 » Formalizing Design Patterns |
170
Voted
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
142
Voted
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Pattern discovery in sequences is an important problem in many applications, especially in computational biology and text mining. However, due to the noisy nature of data, the tra...
131
Voted
KDD
2004
ACM
16 years 4 months ago
2004
ACM
Analyzing data to find trends, correlations, and stable patterns is an important task in many industrial applications. This paper proposes a new technique based on parallel coordi...
139
Voted
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
107
click to vote
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...