3081 search results - page 110 / 617 » A Formal Ontology of Properties |
152
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
192
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
173
click to vote
AO
2007
15 years 6 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
159
click to vote
ICSOC
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In inter-enterprise business service collaborations management of nonfunctional properties has become a fundamental issue, as business management and computing infrastruc...
205
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...