1261 search results - page 166 / 253 » A taxonomy for identifying requirement interactions in softw... |
162
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
147
click to vote
ISPASS
2003
IEEE
15 years 11 months ago
2003
IEEE
The Java language has rapidly become widespread and it is being used to implement a broad range of applications, including applications with high resource requirements. For this r...
102
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
In this work we ask the question: what are the challenges of managing a physical or file system access-control policy for a large organization? To answer the question, we conducte...
175
click to vote
APVIS
2001
15 years 7 months ago
2001
This paper demonstrates the application of graph drawing and information visualisation techniques to the visualisation of information which can be modelled as an attributed graph....
167
click to vote
IPCCC
2007
IEEE
16 years 18 days ago
2007
IEEE
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...