Sciweavers

10038 search results - page 1721 / 2008
» Model Checking for Managers
Sort
View
WOTUG
2008
15 years 8 months ago
Representation and Implementation of CSP and VCR Traces
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
Neil C. C. Brown, Marc L. Smith
ICIS
2004
15 years 8 months ago
Are Digital Rights Valuable? Theory and Evidence from the eBook Industry
The effective management of digital rights is a crucial challenge in many industries making the transition from physical to digital products. We present an economic model that cha...
Gal Oestreicher-Singer, Arun Sundararajan
DBSEC
2003
155views Database» more  DBSEC 2003»
15 years 8 months ago
Schema Based XML Security: RBAC Approach
As a platform-independent solution, XML is going to be used in many environments such as application integration and Web Services. Security of XML instance is a basic problem, esp...
Xinwen Zhang, Jaehong Park, Ravi S. Sandhu
ISDO
2000
181views Business» more  ISDO 2000»
15 years 7 months ago
eFlow: an Open, Flexible and Configurable Approach to Service Composition
The Web is rapidly becoming the platform through which many companies deliver services to businesses and individual customers. E-Services are typically delivered point-to-point; h...
Fabio Casati
WSC
1997
15 years 7 months ago
Success Stories in Simulation in Health Care
Healthcare is a rapidly changing industry, and facilities are struggling to find tools to enhance their ability to keep up with the change. Healthcare staff have generally adapted...
Catherine Drury Barnes, Joaquin L. Quiason, Carson...
« Prev « First page 1721 / 2008 Last » Next »