261 search results - page 26 / 53 » Specifying Semantic Email Processes |
CONCUR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
101
click to vote
BPSC
2009
15 years 27 days ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
102
click to vote
KDD
2005
ACM
16 years 6 days ago
2005
ACM
In this paper, we propose a new way to automatically model and predict human behavior of receiving and disseminating information by analyzing the contact and content of personal c...
112
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
105
click to vote
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...