4469 search results - page 151 / 894 » A Language for Role Specifications |
150
click to vote
ESTIMEDIA
2007
Springer
15 years 10 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
128
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
131
click to vote
STTT
2008
15 years 4 months ago
2008
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
125
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. World wide web has gained a lot of prominence with respect to information retrieval and data delivery. With such a prolific growth, a user interested in a specific change...
130
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...