10038 search results - page 1889 / 2008 » Model Checking for Managers |
135
click to vote
WSE
2002
IEEE
15 years 5 months ago
2002
IEEE
As the use of the World Wide Web becomes more pervasive within our society, businesses and institutions are required to migrate a wide range of services to the web. Difficulties a...
83
Voted
IPMU
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a general definition for the independence of a number of finite-valued variables, based on coherent lower previsions. Our definition has an epistemic flavour: it a...
106
click to vote
CAISE
2001
Springer
15 years 5 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
101
Voted
CCS
2001
ACM
15 years 5 months ago
2001
ACM
Authenticating mobile computing users can require a significant amount of processing and communications resources— particularly when protocols based on public key encryption are...
123
Voted
ELPUB
2000
ACM
15 years 5 months ago
2000
ACM
This paper describes part of the results of recent research carried out in Brazil and the UK, which investigated the perceptions by academic social scientists of the impact of ele...