Sciweavers

7329 search results - page 387 / 1466
» Software Architectural Transformation
Sort
View
ICAC
2005
IEEE
16 years 14 days ago
Autonomic Index Management
This work presents the core ideas for an approach that enables index tuning with no human intervention at all. SQL statements submitted to the database are monitored and indices a...
Sérgio Lifschitz, Marcos Antonio Vaz Salles
SEFM
2008
IEEE
16 years 1 months ago
Laws of Object-Orientation with Reference Semantics
Abstract. Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore ...
Leila Silva, Augusto Sampaio, Zhiming Liu
SCAM
2003
IEEE
16 years 3 days ago
Slicing the SCAM Mug: A Case Study in Semantic Slicing
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...
Martin P. Ward
EUROMICRO
2004
IEEE
15 years 10 months ago
A Framework for Protecting Web Sevices with IPsec
This paper proposes a WSDL extension for describing IPsec policies for protecting Web Services communications. By using the proposed extension, a Web Service (server) informs to i...
Cássio Ditzel Kropiwiec, Edgard Jamhour, Ca...
PEPM
2012
ACM
14 years 2 months ago
Ideas for connecting inductive program synthesis and bidirectionalization
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
Janis Voigtländer