10038 search results - page 1798 / 2008 » Model Checking for Managers |
144
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
127
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
125
Voted
SAC
2004
ACM
15 years 10 months ago
2004
ACM
Computational models of trust have been proposed for use in ubicomp environments for deciding whether to allow customers to pay with an e-purse or not. In order to build trust in ...
140
click to vote
SIGOPSE
2004
ACM
15 years 10 months ago
2004
ACM
Research in sensor networks, continuous queries (CQ), and other domains has been motivated by powerful applications that aim to aggregate, assimilate, and interact with scores of ...
124
Voted
VAST
2004
ACM
15 years 10 months ago
2004
ACM
The results of a project aimed to the study, reconstruction and presentation to the public of a monument disassembled and dispersed, the mausoleum of the emperor Arrigo VII, are p...