Sciweavers

15644 search results - page 332 / 3129
» Brittle System Analysis
Sort
View
HICSS
2007
IEEE
103views Biometrics» more  HICSS 2007»
16 years 1 months ago
Strategic Analysis Using Value Modeling--The c3-Value Approach
Hans Weigand, Paul Johannesson, Birger Andersson, ...
ICEIS
2007
IEEE
16 years 1 months ago
Aspect-Oriented Analysis Applied to the Space Domain
André Marques, Ricardo Raminhos, Ricardo Fe...
ICEIS
2007
IEEE
16 years 1 months ago
Interactional Objects: HCI Concerns in the Analysis Phase of the Symphony Method
Guillaume Godet-Bar, Dominique Rieu, Sophie Dupuy-...
PG
2007
IEEE
16 years 1 months ago
Faceting Artifact Analysis for Computer Graphics
The faceting signal, defined in this paper as the difference signal between a rendering of the original geometric model and a simplified version of the geometric model, is respo...
Lijun Qu, Gary W. Meyer
ESOP
2007
Springer
16 years 28 days ago
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
Kohei Suenaga, Naoki Kobayashi