Sciweavers

1728 search results - page 79 / 346
» Formal Modeling of Process Migration
Sort
View
IFIPTM
2010
145views Management» more  IFIPTM 2010»
14 years 9 months ago
A Formal Notion of Trust - Enabling Reasoning about Security Properties
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolp...
FMICS
2010
Springer
15 years 4 days ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
FOSSACS
2006
Springer
15 years 2 months 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...
AAAI
2007
15 years 1 months ago
Representing and Reasoning about Commitments in Business Processes
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
101
Voted
LREC
2010
164views Education» more  LREC 2010»
15 years 15 days ago
Semantic Feature Engineering for Enhancing Disambiguation Performance in Deep Linguistic Processing
The task of parse disambiguation has gained in importance over the last decade as the complexity of grammars used in deep linguistic processing has been increasing. In this paper ...
Danielle Ben-Gera, Yi Zhang 0003, Valia Kordoni