339 search results - page 25 / 68 » Semantics and Execution of Domain Specific Models |
SOSYM
2010
13 years 6 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
ACSD
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
CSREASAM
2006
13 years 9 months ago
2006
Trust and authority are essential components that must be factored in designing and implementing a distributed access control mechanism for open environments. This paper presents ...
FLAIRS
2006
13 years 9 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
JTAER
2008
13 years 8 months ago
2008
The adoption of advanced integration technologies that enable private and public organizations to seamlessly execute their business transactions electronically is still relatively...