803 search results - page 24 / 161 » Building Formal Models for Software Requirements |
212
click to vote
AMCS
2011
14 years 6 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
103
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
CHI
2001
ACM
16 years 3 days ago
2001
ACM
Building trust with users is crucial in a wide range of applications, such as advice-giving or financial transactions, and some minimal degree of trust is required in all applicat...
111
click to vote
APSEC
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
96
Voted
IUI
2005
ACM
15 years 5 months ago
2005
ACM
This paper describes an Intelligent Shopping Assistant designed for a shopping cart mounted tablet PC that enables individual interactions with customers. We use machine learning ...