10038 search results - page 1721 / 2008 » Model Checking for Managers |
178
click to vote
WOTUG
2008
15 years 8 months ago
2008
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...
159
click to vote
ICIS
2004
15 years 8 months ago
2004
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...
168
click to vote
DBSEC
2003
15 years 8 months ago
2003
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...
171
click to vote
ISDO
2000
15 years 7 months ago
2000
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...
166
click to vote
WSC
1997
15 years 7 months ago
1997
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...