290 search results - page 31 / 58 » Congruence for Structural Congruences |
92
Voted
ESOP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
92
Voted
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
Any mapping S : C → K, where K is a field and C = (C, Σ) is a Σ-algebra, is called a KC-series. These series are natural generalizations of both formal series on strings over...
IANDC
2000
14 years 9 months ago
2000
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...
CACM
2007
14 years 9 months ago
2007
Pop-up, pop-under, and in-line ads have been said to be intrusive, and previous findings suggest that they could have important effects on user perception and cognition. Using a 2...
149
Voted
CSCW
2011
ACM
14 years 4 months ago
2011
ACM
We describe the activities of the Empirical Software Engineering (ESE) group at Microsoft Research. We highlight our research themes and activities using examples from our researc...