2685 search results - page 230 / 537 » A Formal Semantics for SPKI |
198
click to vote
JSW
2006
15 years 6 months ago
2006
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...
193
click to vote
RML
2002
15 years 6 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
179
click to vote
WRLA
2010
15 years 5 months ago
2010
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...
134
Voted
GI
2007
Springer
16 years 27 days ago
2007
Springer
: Die zunehmende Popularität des gemeinschaftlichen Indexierens (Social Tagging) führt zu umfangreichen Sammlungen an nutzergenerierten Metadaten. Eine automatisierte Verwertung ...
186
click to vote
ER
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents the Kuaba Ontology, a knowledge representation model for Design Rationale described in an ontology definition language. The representation of this model in a sp...