Sciweavers

529 search results - page 10 / 106
» Laws of Pattern Composition
Sort
View
SIGMETRICS
2003
ACM
150views Hardware» more  SIGMETRICS 2003»
14 years 2 months ago
Conductance and congestion in power law graphs
It has been observed that the degrees of the topologies of several communication networks follow heavy tailed statistics. What is the impact of such heavy tailed statistics on the...
Christos Gkantsidis, Milena Mihail, Amin Saberi
LCPC
1992
Springer
14 years 26 days ago
A Calculus of Gamma Programs
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
Chris Hankin, Daniel Le Métayer, David Sand...
CBSE
2010
Springer
14 years 3 days ago
(Behavioural) Design Patterns as Composition Operators
Design patterns are typically defined informally, albeit in a standard format, and have to be programmed by the software designer into each new application. Thus although patterns ...
Kung-Kiu Lau, Ioannis Ntalamagkas, Cuong M. Tran, ...
FLAIRS
2006
13 years 10 months ago
Genetic Hierarchical Music Structures
Music has structure at many levels, from grand arrangements of verses and choruses down to patterns in small riffs and themes. A bracketed L-system -- the SARAH language -- is use...
Charles Fox
VSTTE
2010
Springer
13 years 7 months ago
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
Stan Rosenberg, Anindya Banerjee, David A. Naumann