Sciweavers

3256 search results - page 557 / 652
» Integrated Environment for Embedded Control Systems Design
Sort
View
141
Voted
ICSE
2011
IEEE-ACM
14 years 7 months ago
A lightweight code analysis and its role in evaluation of a dependability case
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang,...
121
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
Improving robustness of evolving exceptional behaviour in executable models
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
Alessandro Garcia, Nélio Cacho, Thomas Cott...
155
Voted
ESAW
2009
Springer
15 years 10 months ago
A Space-Based Generic Pattern for Self-Initiative Load Balancing Agents
Abstract. Load-Balancing is a significant problem in heterogeneous distributed systems. There exist many load balancing algorithms, however, most approaches are very problem speci...
eva Kühn, Vesna Sesum-Cavic
157
Voted
FAST
2009
15 years 1 months ago
PARDA: Proportional Allocation of Resources for Distributed Storage Access
Rapid adoption of virtualization technologies has led to increased utilization of physical resources, which are multiplexed among numerous workloads with varying demands and impor...
Ajay Gulati, Irfan Ahmad, Carl A. Waldspurger
88
Voted
COOPIS
2002
IEEE
15 years 8 months ago
A Filter Object Framework for MICO
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
Pranav S. Nabar, Amit L. Padalkar, Rushikesh K. Jo...