10159 search results - page 1667 / 2032 » System Design Validation Using Formal Models |
226
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
172
click to vote
MM
2003
ACM
16 years 1 days ago
2003
ACM
We present a novel experience based sampling or experiential sampling technique which has the ability to focus on the analysis’s task by making use of the contextual information...
187
click to vote
EICS
2010
ACM
15 years 4 months ago
2010
ACM
We propose an automated routine for hierarchical menu structure optimization. A computer advice-giving system founded on the mathematical model of menu navigation directs the desi...
177
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...
175
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
The Common Data Security Architecture (CDSA) from the Open Group is a flexible standard that defines APIs for security services needed for implementing Public Key Infrastructure (...