Sciweavers

2521 search results - page 369 / 505
» Semantic Component Composition
Sort
View
COOPIS
1998
IEEE
14 years 2 months ago
Context Mediation on Wall Street
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...
Allen Moulton, Stuart E. Madnick, Michael Siegel
COORDINATION
2000
Springer
14 years 2 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
HOTDEP
2008
157views Hardware» more  HOTDEP 2008»
14 years 29 days ago
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
Database systems are a key component behind many of today's computer systems. As a consequence, it is crucial that database systems provide correct and continuous service des...
Nuno M. Preguiça, Rodrigo Rodrigues, Crist&...
DS
2001
118views Database» more  DS 2001»
14 years 18 hour ago
Constraints as Mobile Specifications in E-Commerce Applications
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
Kit-ying Hui, Peter M. D. Gray, Graham J. L. Kemp,...
ANLP
1997
100views more  ANLP 1997»
13 years 12 months ago
Large-Scale Acquisition of LCS-Based Lexicons for Foreign Language Tutoring
We focus on the probleln of building large repositories of le.rical coJtceplual structure (LCS) representations for verbs in multiple languages. One of the main results of this wo...
Bonnie J. Dorr