Sciweavers

1256 search results - page 83 / 252
» A Model of Interaction in Concurrent and Distributed Systems
Sort
View
AMOST
2007
ACM
15 years 8 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
16 years 1 months ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...
WOTUG
2007
15 years 5 months ago
A Process-Oriented Architecture for Complex System Modelling
Abstract. A fine-grained massively-parallel process-oriented model of platelets (potentially artificial) within a blood vessel is presented. This is a CSP inspired design, expres...
Carl G. Ritson, Peter H. Welch
ICMCS
2009
IEEE
183views Multimedia» more  ICMCS 2009»
15 years 2 months ago
Modeling the tele-immersive systems using stochastic activity network
The next-generation social communication medium, teleimmersion, is receiving increasing attention from both the research and industrial communities. It enables interaction between...
Rahul Malik, Wanmin Wu, Klara Nahrstedt
ECOWS
2009
Springer
15 years 10 months ago
A Model and Algorithm for Self-Adaptation in Service-oriented Systems
Abstract—In this paper, we address the problem of selfadaptation in internet-scale service-oriented systems. Services need to adapt by select the best neighboring services solely...
Christoph Dorn, Daniel Schall, Schahram Dustdar