1141 search results - page 16 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
169
click to vote
ICFEM
2007
Springer
16 years 3 days 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...
153
click to vote
DAS
2006
Springer
15 years 9 months ago
2006
Springer
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...
155
click to vote
RE
2009
Springer
16 years 14 days ago
2009
Springer
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
205
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
155
click to vote
AOSE
2005
Springer
15 years 11 months ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...