253 search results - page 15 / 51 » A Compositional Approach for Constructing Connectors |
139
Voted
AMAST
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
106
click to vote
APIN
2006
15 years 3 months ago
2006
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...
143
Voted
EDO
2006
Springer
15 years 7 months ago
2006
Springer
Embedded systems are rapidly growing in size, complexity, distribution, and heterogeneity. As a result, the traditional practice of developing one-off embedded applications that a...
134
click to vote
PKC
2010
Springer
15 years 7 months ago
2010
Springer
We propose new and improved instantiations of lossy trapdoor functions (Peikert and Waters, STOC ’08), and correlation-secure trapdoor functions (Rosen and Segev, TCC ’09). Ou...
125
Voted
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
We propose a multiview tracking method for rigid objects. Assuming that a part of the object is visible in at least two cameras, a partial 3D model is reconstructed in terms of a ...