5599 search results - page 270 / 1120 » Abstract State Services |
224
click to vote
CC
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
139
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both tec...
162
click to vote
EPK
2006
15 years 8 months ago
2006
Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
172
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- We describe an implementation based on the WSNotification (WSN) specification for Publish/Subscribe communication which provides a distributed, content-based notificatio...
156
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--Push-to-talk over Cellular (PoC) is a "walkietalkie"-like service designed for mobile networks. In this service, the speak permission is arbitrated through the ...