Sciweavers

846 search results - page 74 / 170
» The Use of Z
Sort
View
ISCAS
2005
IEEE
172views Hardware» more  ISCAS 2005»
14 years 2 months ago
A digital CMOS DNA chip
— A fully electronic medium density DNA micro array is presented using a CMOS process extended by gold electrodes. The chip provides 128 sensor sites, in-sensor site current-mode...
Alexander Frey, Meinrad Schienle, Christian Paulus...
CAISE
2005
Springer
14 years 2 months ago
An Ontological Approach for Eliciting and Understanding Needs in e-Services
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...
Ziv Baida, Jaap Gordijn, Hanne Sæle, Hans Ak...
EVOW
2005
Springer
14 years 2 months ago
Developing Fitness Functions for Pleasant Music: Zipf's Law and Interactive Evolution Systems
Abstract. In domains such as music and visual art, where the quality of an individual often depends on subjective or hard to express concepts, the automating fitness assignment bec...
Bill Z. Manaris, Penousal Machado, Clayton McCaule...
FORMATS
2004
Springer
14 years 2 months ago
Symbolic Model Checking for Probabilistic Timed Automata
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
ISOLA
2004
Springer
14 years 2 months ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...