5904 search results - page 243 / 1181 » Requirements for a Composition Language |
126
click to vote
SDMW
2009
Springer
15 years 11 months ago
2009
Springer
Provenance access control has been recognized as one of the most important components in an enterprise-level provenance system. However, it has only received little attention in th...
158
click to vote
ITRUST
2005
Springer
15 years 10 months ago
2005
Springer
The paper makes two main contributions: (1) It presents experiences from using the CORAS language for security threat modelling to specify legal risk scenarios. These experiences a...
129
click to vote
POLICY
2007
Springer
15 years 10 months ago
2007
Springer
Abstract— We present the Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that opportunistically sha...
116
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
137
click to vote
ACSD
2009
IEEE
15 years 9 months ago
2009
IEEE
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention. However, the classical synthesis problems are often n...