6581 search results - page 199 / 1317 » Formalizing Design Patterns |
177
Voted
SIGDOC
2010
ACM
15 years 1 months ago
2010
ACM
The growing popularity of mobile devices gave birth to a still emergent research field, called Mobile Music, and concerning the development of musical applications for use in thes...
119
Voted
WEBI
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
113
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...
122
Voted
SRDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
147
Voted
CAISE
2001
Springer
15 years 8 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...