Sciweavers

2740 search results - page 174 / 548
» A Model-Based Approach To Requirements Analysis
Sort
View
148
Voted
LWA
2004
15 years 4 months ago
VISION - a Semantic Web Portal for Describing the State-of-the-art on European Knowledge Management
For the realization of this strategic roadmap project a scenario-driven approach has been used, i.e. several scenarios for possible future applications concerning KM have been deve...
Mark Hefke
151
Voted
RE
2010
Springer
14 years 10 months ago
Dependability Arguments with Trusted Bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
Eunsuk Kang, Daniel Jackson
DATE
2010
IEEE
121views Hardware» more  DATE 2010»
15 years 8 months ago
Properties of and improvements to time-domain dynamic thermal analysis algorithms
—Temperature has a strong influence on integrated circuit (IC) performance, power consumption, and reliability. However, accurate thermal analysis can impose high computation co...
Xi Chen, Robert P. Dick, Li Shang
118
Voted
PLDI
2000
ACM
15 years 7 months ago
Off-line variable substitution for scaling points-to analysis
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
Atanas Rountev, Satish Chandra
132
Voted
TALG
2010
101views more  TALG 2010»
15 years 1 months ago
Reasoning about online algorithms with weighted automata
We describe an automata-theoretic approach for the competitive analysis of online algorithms. Our approach is based on weighted automata, which assign to each input word a cost in...
Benjamin Aminof, Orna Kupferman, Robby Lampert