3579 search results - page 162 / 716 » Transformations of software models into performance models |
147
click to vote
SP
2003
IEEE
15 years 10 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
140
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
178
click to vote
SSD
2007
Springer
15 years 10 months ago
2007
Springer
We address continuously processing an aggregation join query over data streams. Queries of this type involve both join and aggregation operations, with windows specified on join ...
150
click to vote
RIAO
2007
2007
From Layout to Semantic: a Reranking Model for Mapping Web Documents to Mediated XML Representations
15 years 6 months ago
Many documents on the Web are formated in a weakly structured format. Because of their weak semantic and because of the heterogeneity of their formats, the information conveyed by...
140
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...