10072 search results - page 28 / 2015 » Composition of Model Programs |
110
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Libraries of learning objects may serve as basis for deriving course offerings that are customized to the needs of different learning communities or even individuals. Several ways...
ENTCS
2007
15 years 1 months ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
106
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
107
click to vote
CC
2010
Springer
15 years 8 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...