Sciweavers

470 search results - page 12 / 94
» A Component and Communication Model for Push Systems
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
15 years 7 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
COOPIS
2004
IEEE
15 years 9 months ago
Component-Based Dynamic QoS Adaptations in Distributed Real-Time and Embedded Systems
Large scale distributed real time and embedded (DRE) applications are complex entities that are often composed of different subsystems and have stringent Quality of Service (QoS) r...
Praveen Kaushik Sharma, Joseph P. Loyall, George T...
152
Voted
HPDC
1998
IEEE
15 years 9 months ago
Metascheduling: A Scheduling Model for Metacomputing Systems
Abstract Metacomputing is the seamless application of geographically-separated distributed computing resources to user applications. We consider the scheduling of metaapplications;...
Jon B. Weissman
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 3 months ago
Communication model of emuStudio emulation platform
Within the paper a description of communication model of plug-in based emuStudio emulation platform is given. The platform mentioned above allows the emulation of whole computer sy...
Peter Jakubco, Slavomír Simonák, Nor...
ICWS
2003
IEEE
15 years 7 months ago
Constructing Web Services out of Generic Component Compositions
Abstract. Todays information systems are built using various component models such as Enterprise Java Beans, JavaBeans, Microsoft COM+, and CORBA distributed objects. In this paper...
Johann Oberleitner, Schahram Dustdar