1317 search results - page 68 / 264 » Fusions of Description Logics and Abstract Description Syste... |
161
click to vote
ECOOPW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
157
click to vote
ICTAI
2008
IEEE
16 years 22 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
140
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
203
click to vote
IWFM
1998
15 years 7 months ago
1998
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
164
click to vote
ECBS
2007
IEEE
16 years 20 days ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...