Sciweavers

3337 search results - page 443 / 668
» interactions 2006
Sort
View
ESOP
2006
Springer
15 years 9 months ago
Embedding Dynamic Dataflow in a Call-by-Value Language
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
Gregory H. Cooper, Shriram Krishnamurthi
ETRICS
2006
15 years 9 months ago
Optimized Workflow Authorization in Service Oriented Architectures
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
Martin Wimmer, Martina-Cezara Albutiu, Alfons Kemp...
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 9 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
FQAS
2006
Springer
94views Database» more  FQAS 2006»
15 years 9 months ago
Term Disambiguation in Natural Language Query for XML
Converting a natural language query sentence into a formal database query is a major challenge. We have constructed NaLIX, a natural language interface for querying XML data. Throu...
Yunyao Li, Huahai Yang, H. V. Jagadish
FQAS
2006
Springer
109views Database» more  FQAS 2006»
15 years 9 months ago
Towards a Flexible Visualization Tool for Dealing with Temporal Data
Time plays an important role in our everyday's life. For a lot of observations we make and actions we perform, temporal information is relevant. The importance of time is refl...
Guy De Tré, Nico Van de Weghe, Rita M. M. D...