1746 search results - page 297 / 350 » A Constructive Semantics for ALC |
ADBIS
2010
Springer
13 years 10 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
SAC
2010
ACM
13 years 10 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
C++
1994
13 years 11 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
BMCBI
2008
13 years 10 months ago
2008
Background: The construction of literature-based networks of gene-gene interactions is one of the most important applications of text mining in bioinformatics. Extracting potentia...