Sciweavers

470 search results - page 12 / 94
» A Component and Communication Model for Push Systems
Sort
View
123
Voted
PTS
2008
98views Hardware» more  PTS 2008»
15 years 5 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...
213
Voted
COOPIS
2004
IEEE
15 years 7 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...
HPDC
1998
IEEE
15 years 7 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 28 days 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...
139
Voted
ICWS
2003
IEEE
15 years 4 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