7124 search results - page 843 / 1425 » Programming Languages and Operating Systems |
174
click to vote
UML
2005
Springer
16 years 15 days ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
188
click to vote
LICS
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
208
click to vote
AAAI
2008
15 years 9 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
191
click to vote
AIIA
2005
Springer
15 years 9 months ago
2005
Springer
Incremental processing is relevant for language modeling, speech recognition and language generation. In this paper we devise a dynamic version of Tree Adjoining Grammar (DVTAG) th...
311
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...