5330 search results - page 759 / 1066 » The Performability Tool P'ility |
158
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
180
click to vote
NLDB
2007
Springer
16 years 28 days ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
157
click to vote
OOPSLA
2007
Springer
16 years 28 days ago
2007
Springer
One recent change in software development is developers starting to take responsibility for the quality of their work by writing and executing automated tests. As with any new act...
195
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
Semantic Business Process Management (SBPM) has been proposed as an extension of BPM with Semantic Web and Semantic Web Services (SWS) technologies in order to increase and enhance...
155
click to vote
SAS
2007
Springer
16 years 28 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...