2629 search results - page 99 / 526 » complex 2009 |
95
Voted
TRUSTBUS
2009
Springer
15 years 7 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
STOC
2009
ACM
16 years 1 months ago
2009
ACM
Non-relativization of complexity issues can be interpreted as giving some evidence that these issues cannot be resolved by "black-box" techniques. In the early 1990'...
83
Voted
ICSM
2009
IEEE
15 years 7 months ago
2009
IEEE
This appendix contains the details of our case studies out lined in our paper for the 2009 International Conference on Software Maintenance, as well as an expanded discussion se...
94
Voted
CIIA
2009
15 years 1 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
89
Voted
ENASE
2009
14 years 10 months ago
2009
Service composition is an important topic, but so far addressed from a technical and low level perspective. The issue is not (too much) the orchestration formalism, but rather the ...