3688 search results - page 241 / 738 » Static analysis of aspects |
153
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Current methods to represent system or task usability in a single metric do not include all the ANSI and ISO defined usability aspects: effectiveness, efficiency & satisfactio...
154
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
To reduce the number of traffic accidents and to increase the drivers comfort, the thought of designing driver assistance systems rose in the past years. Fully or partly autonomou...
165
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
171
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
197
click to vote
SEW
2005
IEEE
16 years 7 days ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...