379 search results - page 12 / 76 » Communication Abstractions for Distributed Business Processe... |
BPSC
2009
14 years 10 months 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 ...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—We are interested in topological analysis and processing of the large-scale distributed data generated by sensor networks. Naturally a large-scale sensor network is depl...
82
Voted
CONCUR
2000
Springer
15 years 1 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
67
Voted
CONCUR
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
181
Voted
VLDB
2006
ACM
15 years 9 months ago
2006
ACM
Abstract The protection of customer privacy is a fundamental issue in today's corporate marketing strategies. Not surprisingly, many research efforts have proposed new privacy...