711 search results - page 98 / 143 » Scalable and Modular Scheduling |
101
Voted
CCS
2009
ACM
15 years 8 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
104
click to vote
EUROMICRO
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
107
Voted
EGC
2005
Springer
15 years 7 months ago
2005
Springer
Grid computing has been presented as a way to share geographically and organizationally distributed resources and to perform successfully distributed computation. For achieve this ...
ICEIS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper reports on the development of an innovative agent-mediated electronic marketplace, which is able to efficiently handle transportation transactions of various types. Soft...
131
click to vote
MM
2003
ACM
15 years 7 months ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...