6434 search results - page 1046 / 1287 » Model Transformations with Reference Models |
214
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
An edge dominating set for a graph G is a set D of edges such that each edge of G is in D or adjacent to at least one edge in D. This work studies deterministic distributed approx...
157
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper addresses the sampling jitter estimation and cancellation task in direct RF sub-sampling type radios. The proposed jitter estimation method is based on carefully inje...
165
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
One component of a user's interaction with computer systems is commonly referred to as `flow'. Flow is an important consideration in interactive system design as it enca...
172
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Aggregation refers to a set of functions that provide global information about a distributed system. These functions operate on numeric values distributed over the system and can ...
197
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...