Sciweavers

815 search results - page 54 / 163
» Algebraic Recognizability of Languages
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
15 years 6 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
KCAP
2003
ACM
15 years 5 months ago
Learning programs from traces using version space algebra
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
Tessa A. Lau, Pedro Domingos, Daniel S. Weld
ICDE
1999
IEEE
109views Database» more  ICDE 1999»
16 years 1 months ago
On the Semantics of Complex Events in Active Database Management Systems
Active database management systems have been developed for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Com...
Detlef Zimmer, Rainer Unland
SAIG
2001
Springer
15 years 4 months ago
Short Cut Fusion: Proved and Improved
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
Patricia Johann
FSEN
2007
Springer
15 years 3 months ago
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme
We formally specify the recent DRM scheme of Nair et al. in the
Muhammad Torabi Dashti, Srijith Krishnan Nair, Hug...