1173 search results - page 136 / 235 » On the Compositionality of Round Abstraction |
197
click to vote
OTM
2007
Springer
16 years 15 days ago
2007
Springer
As more semantic web services become on the Internet, it is feasible that users collaborate among them to save efforts in complex web solutions by sharing and reusing existing sema...
166
click to vote
TLCA
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
137
click to vote
RTSS
2005
IEEE
15 years 12 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
149
click to vote
ECOOP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
164
click to vote
GPCE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...