Sciweavers

1624 search results - page 288 / 325
» Modelling Variability for System Families
Sort
View
PODC
1990
ACM
13 years 11 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
ASPDAC
2008
ACM
119views Hardware» more  ASPDAC 2008»
13 years 9 months ago
A stochastic local hot spot alerting technique
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
Hwisung Jung, Massoud Pedram
ACE
2004
224views Education» more  ACE 2004»
13 years 9 months ago
Automating the Estimation of Project Size from Software Design Tools Using Modified Function Points
Final year students in the Bachelor of Computing complete an industry project where they work in teams to build an IT system for an external client. Grading projects in these circ...
Jason Ceddia, Martin Dick
BIOSIG
2003
140views Biometrics» more  BIOSIG 2003»
13 years 9 months ago
Multifactor Biometric Sketch Authentication
: In this paper we propose a multifactor biometric sketch authentication method based on biometric sketch recognition and a user’s personal knowledge about the sketch‘s content...
Arslan Brömme, Stephan Al-Zubi
EUSFLAT
2003
143views Fuzzy Logic» more  EUSFLAT 2003»
13 years 9 months ago
Prediction of surface roughness in ultraprecision turning using fuzzy logic
Ultraprecision turning is a manufacturing process used to generate a high surface roughness in precision components, and its input-output relationships are highly nonlinear. Surfa...
Arup Kumar Nandi