Sciweavers

2643 search results - page 170 / 529
» Higher order messaging
Sort
View
ACL
2006
15 years 7 months ago
Parsing and Subcategorization Data
In this paper, we compare the performance of a state-of-the-art statistical parser (Bikel, 2004) in parsing written and spoken language and in generating subcategorization cues fr...
Jianguo Li
INTERACT
2003
15 years 7 months ago
Designing a Football Experience for a Mobile Device
Abstract: Watching sports is a favorite pastime of many consumers. A more nomadic life style makes the traditional spectating venues unavailable. Designing a sports spectator exper...
Greger Wikstrand, Staffan Eriksson, Frida Öst...
JFP
2006
113views more  JFP 2006»
15 years 6 months ago
Consistency of the theory of contexts
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan S...
IEEESCC
2007
IEEE
16 years 23 days ago
Deriving executable BPEL from UMM Business Transactions
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
Birgit Hofreiter, Christian Huemer, Philipp Liegl,...
WORDS
2003
IEEE
15 years 11 months ago
An Optimal Atomic Broadcast Protocol and an Implementation Framework
Atomic Broadcast (where all processes deliver broadcast messages in the same order) is a very useful group communication primitive for building fault-tolerant distributed systems....
Paul D. Ezhilchelvan, Doug Palmer, Michel Raynal