1078 search results - page 175 / 216 » Modelling and Verifying of e-Commerce Systems |
119
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
IWANN
2007
Springer
15 years 8 months ago
2007
Springer
Approximately 50% of all patients with intraocular melanoma die of metastatic disease, despite successful treatment of the primary tumour. The main factors associated with mortalit...
231
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
100
click to vote
ICWS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Community of web services (CWS) is a society composed by a number of functionally identical web services. The communities always aim to increase their reputation level in order ...
112
click to vote
LATA
2009
Springer
15 years 8 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...