6201 search results - page 195 / 1241 » Implementation of Axiomatic Language |
132
click to vote
EPK
2004
15 years 6 months ago
2004
: Heterogeneous and proprietary interchange formats pose a major problem for business process management. This applies in particular to processes that have been modelled as Event-D...
163
click to vote
COLING
2000
15 years 6 months ago
2000
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...
136
click to vote
ADT
2006
15 years 4 months ago
2006
We propose LicenseScript, a language for digital rights management (DRM) based on multiset rewriting and logic programming. LicenseScript enjoys a precise syntax and semantics, an...
173
click to vote
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
15 years 4 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
157
click to vote
PERCOM
2008
ACM
15 years 4 months ago
2008
ACM
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...