2623 search results - page 304 / 525 » Conceptual Application Domain Modelling |
131
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
UML semantic variation points provide intentional degrees of freedom for the interpretation of the metamodel semantics. The interest of semantic variation points is that UML now b...
163
Voted
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
Experience on a large banking application has highlighted expressive weaknesses in the standard (concrete) syntax of UML, resulting in models that are under-constrained. It es, ho...
160
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
123
Voted
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...
153
click to vote
MSV
2007
15 years 6 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...