5818 search results - page 946 / 1164 » A reasonable Semantic Web |
172
click to vote
ICECCS
2006
IEEE
16 years 21 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
194
click to vote
ACMMSP
2006
ACM
16 years 19 days ago
2006
ACM
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...
158
click to vote
CAISE
2005
Springer
16 years 6 days ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
192
click to vote
HYBRID
2005
Springer
16 years 5 days ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
182
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...