1288 search results - page 91 / 258 » On Analysis of Design Component Contracts: A Case Study |
103
click to vote
EUSAI
2004
Springer
15 years 7 months ago
2004
Springer
Ambient intelligent applications require applications to recognise user activity calmly in the background, typically by instrumentation of environments. In contrast, we propose the...
101
click to vote
ICECCS
2006
IEEE
15 years 7 months ago
2006
IEEE
There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting ...
100
click to vote
NIPS
2000
15 years 3 months ago
2000
We propose a general framework for performing independent component analysis (ICA) which relies on ensemble learning and linear response theory known from statistical physics. We ...
129
click to vote
QSIC
2005
IEEE
15 years 7 months ago
2005
IEEE
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
136
Voted
CSMR
2009
IEEE
15 years 6 months ago
2009
IEEE
Decomposing a software system into smaller, more manageable clusters is a common approach to support the comprehension of large systems. In recent years, researchers have focused ...