Sciweavers

89 search results - page 5 / 18
» icse 2010
Sort
View
ICSE
2010
IEEE-ACM
15 years 1 months ago
SSG: a model-based development environment for smart, security-aware GUIs
We present a development environment for automatically building smart, security-aware GUIs following a model-based approach. Our environment consists of a number of plugins that h...
Miguel Angel García de Dios, Carolina Dania...
ICSE
2010
IEEE-ACM
14 years 8 months ago
Staying aware of relevant feeds in context
To stay aware of relevant information and avoid productivity loss, a developer has to continuously read through new incoming information. Our approach supports the integration of ...
Thomas Fritz
77
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
Eliminating dead-code from XQuery programs
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...
Pierre Genevès, Nabil Layaïda
ICSE
2010
IEEE-ACM
15 years 2 months ago
Dynamic service quality and resource negotiation for high-availability service-oriented systems
The principle goal of our research project is to improve the availability of service-oriented systems. This is especially important in systems that cross organizational boundaries...
Nicholas R. May
ICSE
2010
IEEE-ACM
15 years 2 months ago
Oracle-guided component-based program synthesis
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashis...