5904 search results - page 231 / 1181 » Requirements for a Composition Language |
126
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...
122
Voted
IEAAIE
2005
Springer
15 years 9 months ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
128
click to vote
BPM
2010
Springer
15 years 5 months ago
2010
Springer
The processing of data is often restricted by contractual and legal requirements for protecting privacy and IPRs. Policies provide means to control how and by whom data is processe...
172
Voted
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
129
Voted
IWFM
1998
15 years 5 months ago
1998
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...