3688 search results - page 152 / 738 » Static analysis of aspects |
150
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
178
click to vote
JAPLL
2010
15 years 4 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
179
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
151
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present an analysis Trust Analysis Methodology for finding trust issues within pervasive computing systems. It is based on a systematic analysis of scenarios that des...
162
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...