Sciweavers

820 search results - page 43 / 164
» Action Languages
Sort
View
COORDINATION
2004
Springer
15 years 9 months ago
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
Michael J. Butler, Carla Ferreira
ERCIMDL
2004
Springer
116views Education» more  ERCIMDL 2004»
15 years 9 months ago
Towards a Policy Language for Humans and Computers
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
Vicky Weissman, Carl Lagoze
AMEC
2004
Springer
15 years 10 months ago
Specifying and Monitoring Market Mechanisms Using Rights and Obligations
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
Loizos Michael, David C. Parkes, Avi Pfeffer
BALT
2010
14 years 11 months ago
Grammatical Aspects: Coping with Duplication and Tangling in Language Specifications
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
Andrey Breslav
LREC
2010
164views Education» more  LREC 2010»
15 years 5 months ago
Experimental Deployment of a Grid Virtual Organization for Human Language Technologies
After a brief overview of the elements of modern grid computing, a number of common use-cases of natural language processing tasks running on the grid are presented, notably corpu...
Jan Jona Javorsek, Tomaz Erjavec