10072 search results - page 250 / 2015 » Composition of Model Programs |
177
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
154
click to vote
CAISE
2004
Springer
16 years 4 hour ago
2004
Springer
In this paper we introduce GMD, an abstract but rich data model for representing multidimensional information, equipped with logicbased semantics and seamlessly integrated with a f...
185
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Structural hallmarks of language can be explained in terms of adaptation, by language, to pressures arising during its cultural transmission. Here I present a model which...
167
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
182
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...