2192 search results - page 187 / 439 » Embedded function composition |
119
click to vote
JFP
2008
15 years 2 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
114
Voted
JCISE
2002
15 years 1 months ago
2002
Methods to represent and exchange parts consisting of Functionally Graded Material (FGM) for Solid Freeform Fabrication (SFF) with Local Composition Control (LCC) are evaluated ba...
135
Voted
PERCOM
2011
ACM
14 years 5 months ago
2011
ACM
—This paper examines the possible uses of different market mechanisms for resource allocation at different levels of Wireless Sensor Network (WSN) architecture. The goal is to ma...
137
click to vote
ICDM
2005
IEEE
15 years 7 months ago
2005
IEEE
The problem of record linkage focuses on determining whether two object descriptions refer to the same underlying entity. Addressing this problem effectively has many practical ap...
141
click to vote
DAIS
2003
15 years 3 months ago
2003
Abstract. It is generally agreed that one of the key services of componentbased systems are transactions. However, an agreement on how components should be involved in transactions...