10159 search results - page 332 / 2032 » System Design Validation Using Formal Models |
119
click to vote
ACMDIS
2004
ACM
15 years 9 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
119
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...
129
click to vote
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Ambient intelligence (AmI) is a promising paradigm for humancentred interaction based on mobile and context-aware computing, natural interfaces and collaborative work. AM...
158
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- This paper considers a recently proposed framework for experiment design in system identification for control. We will consider model based control design methods, such ...
144
click to vote
ICOIN
2001
Springer
15 years 8 months ago
2001
Springer
We propose a new approach to easily creating 3 0 geometric models. A technique called interactive evolutionary computation (IEC) is introduced to accelerate user’s invention and...