171 search results - page 6 / 35 » A delta-driven execution model for semantic computing |
107
click to vote
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
117
Voted
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
88
Voted
PDP
2009
IEEE
15 years 7 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...
101
click to vote
CODES
2010
IEEE
14 years 11 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
95
Voted
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...