3765 search results - page 34 / 753 » Formal Methods for Systems Engineering Behavior Models |
ICFEM
2007
Springer
14 years 2 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
TSE
2002
13 years 8 months ago
2002
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...