3425 search results - page 481 / 685 » A Model Driven Approach for Software Systems Reliability |
154
click to vote
ACMICEC
2004
ACM
15 years 9 months ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
198
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
139
Voted
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
135
click to vote
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
148
click to vote
WSC
1998
15 years 5 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...