Sciweavers

1835 search results - page 149 / 367
» Functional Programming of Behavior-Based Systems
Sort
View
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 9 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
WCRE
2007
IEEE
15 years 11 months ago
A Model to Understand the Building and Running Inter-Dependencies of Software
The notion of functional or modular dependency is fundamental to understand the architecture and inner workings of any software system. In this paper, we propose to extend that no...
Daniel M. Germán, Jesús M. Gonz&aacu...
HOTOS
2009
IEEE
15 years 8 months ago
FLUXO: A Simple Service Compiler
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
Emre Kiciman, V. Benjamin Livshits, Madanlal Musuv...
STOC
2012
ACM
236views Algorithms» more  STOC 2012»
13 years 7 months ago
On-the-fly multiparty computation on the cloud via multikey fully homomorphic encryption
We propose a new notion of secure multiparty computation aided by a computationally-powerful but untrusted “cloud” server. In this notion that we call on-the-fly multiparty c...
Adriana López-Alt, Eran Tromer, Vinod Vaiku...
HICSS
2003
IEEE
146views Biometrics» more  HICSS 2003»
15 years 10 months ago
A Model for the Emergence and Diffusion of Software Standards
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...
Tim Stockheim, Michael Schwind, Wolfgang Köni...