6031 search results - page 787 / 1207 » Communicating Transaction Processes |
182
click to vote
FMICS
2007
Springer
16 years 27 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
243
click to vote
IFIP
2007
Springer
16 years 26 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
190
click to vote
ISSAC
2007
Springer
16 years 26 days ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
164
click to vote
MDM
2007
Springer
16 years 26 days ago
2007
Springer
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...
202
Voted
EUROSYS
2010
ACM
16 years 26 days ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...