2832 search results - page 356 / 567 » Flexible Modelling for Requirements Engineering |
161
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
We propose a model-based methodology to size and plan enterprise applications under Service Level Agreements (SLAs). Our approach is illustrated using a real-world Enterprise Reso...
147
click to vote
ISCAS
2007
IEEE
16 years 24 days ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
191
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
154
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
175
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...