Sciweavers

8008 search results - page 317 / 1602
» Computer-Aided Language Processing
Sort
View
ENTCS
2002
101views more  ENTCS 2002»
15 years 3 months ago
A categorical framework for typing CCS-style process communication
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
Ralf Schweimeier
EPK
2006
84views Management» more  EPK 2006»
15 years 5 months ago
Nautilus Event-driven Process Chains: Syntax, Semantics, and their Mapping to BPEL
Abstract: Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as tra...
Oliver Kopp, Tobias Unger, Frank Leymann
GIS
2004
ACM
16 years 4 months ago
Query processing in a geographic mediation system
Despite various interoperability recommendations, heterogeneity of Geographic Information Systems (GIS) is still an issue. This led to an increasing need for a data integration sy...
François-Marie Colonna, Mehdi Essid, Omar B...
ASPLOS
2009
ACM
16 years 4 months ago
Architectural support for SWAR text processing with parallel bit streams: the inductive doubling principle
Parallel bit stream algorithms exploit the SWAR (SIMD within a register) capabilities of commodity processors in high-performance text processing applications such as UTF8 to UTF-...
Robert D. Cameron, Dan Lin
CHI
2007
ACM
16 years 4 months ago
Koala: capture, share, automate, personalize business processes on the web
We present Koala, a system that enables users to capture, share, automate, and personalize business processes on the web. Koala is a collaborative programming-bydemonstration syst...
Greg Little, Tessa A. Lau, Allen Cypher, James Lin...