379 search results - page 12 / 76 » Communication Abstractions for Distributed Business Processe... |
126
click to vote
BPSC
2009
15 years 4 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 ...
111
Voted
INFOCOM
2009
IEEE
15 years 10 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...
132
click to vote
CONCUR
2000
Springer
15 years 7 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...
106
click to vote
CONCUR
1998
Springer
15 years 7 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 ...
238
Voted
VLDB
2006
ACM
16 years 3 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...