1173 search results - page 136 / 235 » On the Compositionality of Round Abstraction |
133
Voted
OTM
2007
Springer
15 years 6 months 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...
TLCA
2007
Springer
15 years 6 months 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...
75
Voted
RTSS
2005
IEEE
15 years 6 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...
88
Voted
ECOOP
2005
Springer
15 years 6 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...
100
Voted
GPCE
2005
Springer
15 years 6 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...