1356 search results - page 191 / 272 » A variable-free dynamic semantics |
123
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
The evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit ...
135
click to vote
WECWIS
2009
IEEE
15 years 11 months ago
2009
IEEE
—The goal of the Web Service Composition (WSC) problem is to find an optimal composition of web services to satisfy a given request using their syntactic and/or semantic feature...
179
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
133
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
130
click to vote
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...