3045 search results - page 432 / 609 » Formal Approaches to Software Architecture |
189
click to vote
WOSP
2005
ACM
16 years 6 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
179
click to vote
HPDC
2007
IEEE
16 years 29 days ago
2007
IEEE
Massively Multiplayer Online Games (MMOGs) are an increasingly popular class of real-time interactive distributed applications that require scalable architectures and parallelizat...
198
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
This paper proposes a source-level timing annotation method for generation of accurate transaction level models for software computation modules. While Transaction Level Modeling ...
186
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Enriching Web applications with personalized data is of major interest for facilitating the user access to the published contents, and therefore, for guaranteeing successful user ...
186
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...