4469 search results - page 98 / 894 » A Language for Role Specifications |
107
click to vote
TOOLS
1994
IEEE
15 years 8 months ago
1994
IEEE
The term software engineering arose in the 1960s to emphasize that the production of software should not be an art, as it was then (and sometimes still is today), but an engineeri...
148
click to vote
SEMWIKI
2008
15 years 5 months ago
2008
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...
134
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
147
click to vote
PROCEDIA
2010
14 years 11 months ago
2010
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
117
click to vote
WETICE
2003
IEEE
15 years 9 months ago
2003
IEEE
Role-based access control has been a focal area for many security researchers over the last decade. There have been a large number of models, and many rich specification language...