1926 search results - page 210 / 386 » Modeling and Model Checking Software Product Lines |
130
click to vote
DGO
2008
15 years 6 months ago
2008
The Florida Public Hurricane Loss Model (FPHLM) developed in the State of Florida offers an open, public and effective tool for the government to regulate the insurance ratemaking...
164
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
156
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
135
click to vote
ISASSCI
2001
15 years 6 months ago
2001
After a short definition of the basic aspects of electronic marketplaces and a focus on its topic, this paper introduces mySAP.com Marketplace, which is part of SAP's line of...
134
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...