1356 search results - page 163 / 272 » A variable-free dynamic semantics |
147
click to vote
SOSE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
133
click to vote
RR
2007
Springer
15 years 10 months ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
151
click to vote
LOPSTR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
137
click to vote
TACS
2001
Springer
15 years 8 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
128
Voted
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...