3688 search results - page 429 / 738 » Static analysis of aspects |
168
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
A knowledge gap exists between what emergency responders know from their direct experience and what emergency planners know from analysis and reflection. The theory of practical d...
174
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
199
click to vote
FOSSACS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
193
click to vote
ICWE
2007
Springer
16 years 28 days ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
207
click to vote
IDA
2007
Springer
16 years 28 days ago
2007
Springer
The increasing availability of streaming data is a consequence of the continuing advancement of data acquisition technology. Such data provides new challenges to the various data a...