在结果中检索
  Communities
  Subjects
  All Items
作者
Resource Type
研究报告 [3]
Issued Date
keyword
discipline
Language
Topic
Source
globalchange

Search Results

 Help

Item hits: (Results 1-3 of 3)

Items/Page:    Sort:
DeSPoT: A Method for the Development and Specification of Policies for Trust Negotiation [研究报告]
S. 2012-01-01
Håvaldsrud, Tormod;  Møller-Pedersen, Birger;  Solhaug, Bjørnar;  Stølen, Ketil
Adobe PDF(6393Kb)  |  View/Download：3/1
 
Optimizing Alloy Models [研究报告]
2011-01-01
Svendsen, Andreas;  Haugen, Øystein;  Møller-Pedersen, Birger
Adobe PDF(6980Kb)  |  View/Download：1/1
 
Improving Domain-Specific Languages by Analyzing, Constraining and Enhancing Metamodels [研究报告]
2011-01-01
Svendsen, Andreas;  Haugen, Øystein;  Møller-Pedersen, Birger
Adobe PDF(11437Kb)  |  View/Download：1/1
 

1