Sciweavers

2602 search results - page 217 / 521
» Semantic Analysis of 'to'
Sort
View
CSFW
2004
IEEE
15 years 10 months ago
Formal Analysis of Multi-Party Contract Signing
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
Rohit Chadha, Steve Kremer, Andre Scedrov
CAISE
2008
Springer
15 years 8 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
APCCM
2008
15 years 8 months ago
Context Analysis: Toward Pragmatics of Web Information Systems Design
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim
DGO
2006
116views Education» more  DGO 2006»
15 years 8 months ago
Multidimensional text analysis for eRulemaking
To support rule-writers, we are developing techniques to automatically analyze large number of public comments on proposed regulations. A document is analyzed in various ways incl...
Namhee Kwon, Stuart W. Shulman, Eduard H. Hovy
AAAI
1994
15 years 8 months ago
L* Parsing: A General Framework for Syntactic Analysis of Natural Language
We describe a new algorithm for table-driven parsing with context-free grammars designed to support efficient syntactic analysis of natural language. The algorithm provides a gene...
Eric K. Jones, Linton M. Miller