4305 search results - page 11 / 861 » Analysing Protocol Implementations |
POPL
2002
ACM
14 years 7 months ago
2002
ACM
Dataflow analyses can have mutually beneficial interactions. Previous efforts to exploit these interactions have either (1) iteratively performed each individual analysis until no...
WETICE
1999
IEEE
13 years 11 months ago
1999
IEEE
The protocol WebDAV (World Wide Web Distributed Au
JNCA
2007
13 years 7 months ago
2007
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
MABS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Dynamic and resource-constrained environments raise interesting issues for partnership formation and multi-agent systems. In a scenario in which agents interact with each...
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
Today, the use of anycast address is quite limited. One of the reasons is because there is no routing protocol providing a global anycasting service. In this paper we design and im...