4752 search results - page 399 / 951 » Dependability in Web Software |
187
click to vote
ELPUB
2000
ACM
15 years 11 months ago
2000
ACM
Government institutions, businesses and individual members of society - at least in the developed world are increasingly required to become computer literate and knowledgeable abo...
152
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
205
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
133
Voted
IADIS
2004
15 years 8 months ago
2004
The development of the Automatic Sale System on Web makes possible the control and the management of sales of any type of product of a company, carried through way web. The intent...
193
click to vote
IADIS
2004
15 years 8 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...