Sciweavers

348 search results - page 45 / 70
» Formalizing WSBPEL Business Processes Using Process Algebra
Sort
View
CAISE
2005
Springer
15 years 5 months ago
A language for modeling enterprise contextual ontologies
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
María Laura Caliusco, César Maidana,...
CAISE
2004
Springer
15 years 5 months ago
Enriching Ontology Languages Adequacy for eBusiness Domain
Abstract. The definition of a domain ontology is a complex activity that requires two kinds of expertise: a deep knowledge of the domain to be modeled and a good level of familiari...
Michele Missikoff, Federica Schiappelli
ESORICS
2010
Springer
15 years 25 days ago
Verifying Security Property of Peer-to-Peer Systems Using CSP
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...
Tien Tuan Anh Dinh, Mark Ryan
IDEAS
2000
IEEE
108views Database» more  IDEAS 2000»
15 years 4 months ago
Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
Stefan Dieker, Ralf Hartmut Güting
VLDB
1994
ACM
128views Database» more  VLDB 1994»
15 years 3 months ago
An Algebraic Approach to Rule Analysis in Expert Database Systems
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
Elena Baralis, Jennifer Widom