3658 search results - page 576 / 732 » The logic of proofs, semantically |
COLING
2000
13 years 11 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...
ROOM
2000
13 years 11 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
ISMB
1993
13 years 11 months ago
1993
There are several dimensions and levels of complexity in which information on protein motifs may be available. For example, onedimensional sequence motifs may be associated with s...
ENTCS
2006
13 years 9 months ago
2006
Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management langua...
CSI
2007
13 years 9 months ago
2007
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a ...