252 search results - page 42 / 51 » SaveCCM: An Analysable Component Model for Real-Time Systems |
109
click to vote
SEKE
2005
Springer
15 years 5 months ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...
102
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Scientific workflows are increasingly used for rapid integration of existing algorithms to form larger and more comgrams. Such workflows promise to provide more abstract, yet execu...
CAV
2006
Springer
15 years 3 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
3DGIS
2006
Springer
15 years 5 months ago
2006
Springer
The objective of this work is to define procedures to improve spatial resolution of SRTM data and to evaluate their applicability in the Serra Negra region, in the district of Pat...
90
Voted
JETAI
2006
14 years 11 months ago
2006
hin an abstract microworld of analogy problems. This approach differs from most other models of analogy in its insistence that concepts acquire their semantics from within the syst...