4257 search results - page 95 / 852 » The Logical Modularity of Programs |
112
click to vote
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
129
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...
105
click to vote
REX
1989
15 years 6 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
189
Voted
POPL
1995
ACM
15 years 6 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
194
Voted
ANCS
2011
ACM
14 years 2 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...