1318 search results - page 191 / 264 » The formal semantics of the timeER model |
167
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
In designing a Bayesian network for an actual problem, developers need to bridge the gap between ematical abstractions offered by the Bayesian-network formalism and the features o...
185
click to vote
AICT
2006
IEEE
16 years 10 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
183
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
166
click to vote
CBSE
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
188
click to vote
IDTRUST
2009
ACM
16 years 1 months ago
2009
ACM
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and iden...