Sciweavers

3688 search results - page 318 / 738
» Static analysis of aspects
Sort
View
HICSS
1999
IEEE
133views Biometrics» more  HICSS 1999»
15 years 11 months ago
Collaborative Decision Making and Intelligent Reasoning in Judge Advisor Systems
This paper presents a judgement and decision making analysis of collaborative problem solving. This analysis is done with respect to the Raven and CoRaven decision-making tools fo...
David C. Wilkins, Patricia M. Jones, Roger Bargar,...
AAAI
2004
15 years 8 months ago
Agent-based Simulation of Geo-Political Conflict
The intelligence analysis task of anticipating crises and providing decision makers with reasonable (supportable, explainable)possiblefuturesisextremelydifficult.Toperform this ta...
Glenn Taylor, Richard Frederiksen, Russell R. Vane...
DATE
2008
IEEE
111views Hardware» more  DATE 2008»
16 years 1 months ago
Incremental Criticality and Yield Gradients
— Criticality and yield gradients are two crucial diagnostic metrics obtained from Statistical Static Timing Analysis (SSTA). They provide valuable information to guide timing op...
Jinjun Xiong, Vladimir Zolotov, Chandu Visweswaria...
RTAS
2006
IEEE
16 years 23 days ago
Estimating the Worst-Case Energy Consumption of Embedded Software
The evolution of battery technology is not being able to keep up with the increasing performance demand of mobile embedded systems. Therefore, battery life has become an important...
Ramkumar Jayaseelan, Tulika Mitra, Xianfeng Li
CSFW
2005
IEEE
16 years 11 days ago
End-to-End Availability Policies and Noninterference
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
Lantian Zheng, Andrew C. Myers