10038 search results - page 1595 / 2008 » Model Checking for Managers |
178
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present an original approach for personalizing complex Web applications, in particular e-commerce applications. This approach is based on a clear separation of con...
168
click to vote
IH
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present attacks on the anonymity and pseudonymity provided by a “lonely hearts” dating service and by the HushMail encrypted email system. We move on to discuss so...
188
Voted
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...
141
click to vote
ASWEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Industrial software projects are not based on a top-down development process relying on refinement but use a more iterative and incremental approach with respect to changing requ...
162
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...