1728 search results - page 162 / 346 » Formal Modeling of Process Migration |
115
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
132
click to vote
SAM
2004
15 years 4 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
124
click to vote
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
115
click to vote
MEMOCODE
2006
IEEE
15 years 9 months ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
148
Voted
ENTCS
2006
15 years 3 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...