Sciweavers

1583 search results - page 218 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
ASSETS
2006
ACM
14 years 2 months ago
A flexible VXML interpreter for non-visual web access
VoiceXML (VXML) is a W3C’s standard for specifying interactive dialogs. It finds multiple uses in various Web applications. VXML can also be used in non-visual Web browsing. Th...
Yevgen Borodin
ESORICS
2009
Springer
14 years 8 months ago
Super-Efficient Aggregating History-Independent Persistent Authenticated Dictionaries
Authenticated dictionaries allow users to send lookup requests to an untrusted server and get authenticated answers. Persistent authenticated dictionaries (PADs) add queries agains...
Scott A. Crosby, Dan S. Wallach
ICWE
2007
Springer
14 years 2 months ago
WebRatio 5: An Eclipse-Based CASE Tool for Engineering Web Applications
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
Roberto Acerbis, Aldo Bongio, Marco Brambilla, Ste...
IFL
2001
Springer
14 years 18 days ago
Sized Types for Typing Eden Skeletons
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
Ricardo Pena, Clara Segura
LICS
2000
IEEE
14 years 16 days ago
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
Alan Jeffrey, Julian Rathke