983 search results - page 89 / 197 » Combined Analysis of User Interface and Domain Requirements |
159
click to vote
ENTCS
2007
15 years 6 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
178
click to vote
ACSAC
2007
IEEE
16 years 16 days ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
153
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 21 days ago
2009
ACM
We present an experimental study on the effectiveness of five modality variants (speech, text-only, icon-only, two combinations of text and icons) for presenting local danger wa...
182
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
We describe the design and use of a personal digital library system, UpLib. The system consists of a full-text indexed repository accessed through an active agent via a Web interf...
161
click to vote
JBCS
2002
15 years 5 months ago
2002
Component Based Development (CBD) aims at constructing software through the integration, using interfaces and contracts, between pre-existing components. The main goal of this wor...