Sciweavers

120 search results - page 17 / 24
» A Word-to-Word Model of Translational Equivalence
Sort
View
CSAC
2006
13 years 8 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
FM
2009
Springer
146views Formal Methods» more  FM 2009»
13 years 5 months ago
Verifying Real-Time Systems against Scenario-Based Requirements
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
ANLP
1994
109views more  ANLP 1994»
13 years 8 months ago
Symmetric Pattern Matching Analysis for English Coordinate Structures
The authors propose a model for analyzing English sentences including coordinate conjunctions such as "and","or","but" and the equivalent words. Synt...
Akitoshi Okumura, Kazunori Muraki
ECEASST
2006
154views more  ECEASST 2006»
13 years 7 months ago
EMF Model Refactoring based on Graph Transformation Concepts
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
Enrico Biermann, Karsten Ehrig, Christian Köh...
HICSS
2009
IEEE
138views Biometrics» more  HICSS 2009»
14 years 2 months ago
Designing an Intelligent Agent that Negotiates Tactfully with Human Counterparts: A Conceptual Analysis and Modeling Framework
Automated negotiation has attracted growing interest within fields such as e-business, multi-agent systems, and web services. Nevertheless, a majority of automated negotiation res...
Yinping Yang, Sharad Singhal