5377 search results - page 888 / 1076 » Programming Languages For Interactive Computing |
197
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
183
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
We present algebraic conditions on constraint languages Γ that ensure the hardness of the constraint satisfaction problem CSP(Γ) for complexity classes L, NL, P, NP and ModpL. Th...
196
click to vote
NAACL
2010
15 years 4 months ago
2010
We carried out a study on monolingual translators with no knowledge of the source language, but aided by post-editing and the display of translation options. On Arabic-English and...
168
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
172
click to vote
POLICY
2007
Springer
16 years 17 days ago
2007
Springer
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...