2409 search results - page 18 / 482 » Logical systems for structured specifications |
ELPUB
1997
ACM
14 years 1 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
IFM
2000
Springer
14 years 1 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
ICDT
2009
ACM
14 years 10 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
CORR
1999
Springer
13 years 9 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
GCC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...