6794 search results - page 519 / 1359 » Semantics of Visual Languages |
171
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...
161
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difļ¬...
224
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
153
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the OMGās Queries, Views and Transformations (QVT) standard as applied to the speciļ¬cation of bidirectional transformations between models. We discuss wha...
189
click to vote
LOPSTR
2004
Springer
16 years 11 days ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...