3830 search results - page 25 / 766 » From Reference Model to Component Model |
118
click to vote
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
119
Voted
ACL
1998
15 years 3 months ago
1998
A model for reference use in communication is proposed, from a representationist point of view. Both the sender and the receiver of a message handle representations of their commo...
152
Voted
FASE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...
156
Voted
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
126
click to vote
PARLE
1991
15 years 5 months ago
1991
It is shown that the terminationdetection problem for distributed computations can be modeled as an instance of the garbage collection problem. Consequently, algorithms for the te...