3809 search results - page 77 / 762 » Associative language descriptions |
119
Voted
COMCOM
2000
15 years 4 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
130
click to vote
EEE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes an extension of the ebXML registry for publishing and discovering mathematical service descriptions. The MathBroker registry is able to handle descriptions gi...
160
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...
133
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
147
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Although molecular pathway information and the International HapMap Project data can help biomedical researchers to investigate the aetiology of complex diseases more ...