3579 search results - page 371 / 716 » Transformations of software models into performance models |
176
click to vote
AGTIVE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
270
click to vote
WWW
2005
ACM
16 years 7 days ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
202
click to vote
ACMSE
2005
ACM
15 years 8 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
152
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
181
click to vote
COMPSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...