6581 search results - page 331 / 1317 » Formalizing Design Patterns |
175
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
130
click to vote
DAWAK
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Data mining algorithms are often embedded in more complex systems, serving as the provider of data for internal decision making within these systems. In this paper we add...
139
Voted
SDM
2010
SIAM
15 years 6 months ago
2010
SIAM
Given large, multi-million node graphs (e.g., FaceBook, web-crawls, etc.), how do they evolve over time? How are they connected? What are the central nodes and the outliers of the...
157
click to vote
ESE
2008
15 years 4 months ago
2008
Literature on the topic of code cloning often asserts that duplicating code within a software system is a bad practice, that it causes harm to the system's design and should b...
157
click to vote
TIP
2008
15 years 4 months ago
2008
The present paper contributes two novel techniques in the context of image restoration by nonlocal filtering. Firstly, we introduce an efficient implementation of the nonlocal mean...