2881 search results - page 535 / 577 » Model Checking for Programming Languages using Verisoft |
128
click to vote
ECOWS
2009
Springer
15 years 8 months ago
2009
Springer
—The Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argu...
CASES
2009
ACM
15 years 8 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
133
click to vote
NGITS
1993
Springer
15 years 6 months ago
1993
Springer
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
123
Voted
CIA
2006
Springer
15 years 5 months ago
2006
Springer
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
105
click to vote
PLILP
1995
Springer
15 years 5 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...