3688 search results - page 133 / 738 » Static analysis of aspects |
138
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
157
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Existing static timing analyzers make several assumptions about circuits, implicitly trading off accuracy for speed. In this paper we examine the validity of these assumptions, no...
140
click to vote
DEXA
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
175
Voted
TGC
2007
Springer
16 years 6 days ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
157
click to vote
CSMR
2007
IEEE
16 years 13 days ago
2007
IEEE
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...