6960 search results - page 813 / 1392 » Continuity Analysis of Programs |
196
click to vote
CSMR
2006
IEEE
16 years 1 months ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
212
click to vote
ECBS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
192
click to vote
SAC
2005
ACM
16 years 20 days ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...
194
click to vote
ICTCS
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
181
click to vote
ATAL
2004
Springer
16 years 15 days ago
2004
Springer
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...