564 search results - page 49 / 113 » An analysis-based approach to composition of distributed emb... |
SNPD
2008
13 years 10 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
MOBICOM
2010
ACM
13 years 9 months ago
2010
ACM
Stix is a platform managing emerging large-scale broadband wireless access (BWA) networks. It has been developed to make it easy to manage such networks for community deployments ...
ISORC
2006
IEEE
14 years 2 months ago
2006
IEEE
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
ICALP
1994
Springer
14 years 1 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
ICDCS
1999
IEEE
14 years 1 months ago
1999
IEEE
With the increasing complexity of large-scale distributed (LSD) systems, an efficient monitoring mechanism has become an essential service for improving the performance and reliab...