2688 search results - page 288 / 538 » A formal semantics for P3P |
171
click to vote
SEFM
2007
IEEE
16 years 29 days ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
163
click to vote
ISOLA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
157
click to vote
OTM
2007
Springer
16 years 25 days ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
171
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
196
click to vote
DSVIS
2005
Springer
16 years 7 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...