4008 search results - page 284 / 802 » An expressive language of signatures |
166
click to vote
ESOP
2007
Springer
16 years 25 days ago
2007
Springer
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
197
click to vote
DALT
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
173
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
200
click to vote
WISE
2003
Springer
15 years 12 months ago
2003
Springer
XQuery, the standard query language for XML, is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to ...
183
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...