Sciweavers

598 search results - page 99 / 120
» Independence Semantics for BKBs
Sort
View
CAISE
2006
Springer
14 years 6 days ago
A Framework for the Behavior Based Integration of Business Processes
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...
Georg Grossmann, Michael Schrefl, Markus Stumptner
ECAI
2006
Springer
14 years 4 days ago
A Redundancy-Based Method for Relation Instantiation from the Web
The Semantic Web requires automatic ontology population methods. We developed an approach, that given existing ontologies, extracts instances of ontology relations, a specific subt...
Viktor de Boer, Maarten van Someren, Bob J. Wielin...
FOSSACS
2006
Springer
14 years 4 days ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...
FOSSACS
2006
Springer
14 years 4 days ago
Processes for Adhesive Rewriting Systems
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
HICSS
1995
IEEE
93views Biometrics» more  HICSS 1995»
14 years 1 days ago
Generating optimization-based decision support systems
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
Arthur Geoffrion, Sergio Maturana