970 search results - page 62 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
181
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
163
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...
138
click to vote
ICDAR
2009
IEEE
16 years 23 days ago
2009
IEEE
For an online handwriting recognition system equipped with a writer-independent classifier to progressively improve the recognition performance for a specific writer with an incre...
209
click to vote
Presentation
In recent years, the use of performance measures for transit planning and operations has gained a great deal of attention, particularly as transit agencies are required to provide ...
160
click to vote
ECMDAFA
2005
Springer
15 years 11 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...