11653 search results - page 390 / 2331 » The Development of the C Language |
153
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
183
click to vote
PODS
2006
ACM
16 years 7 months ago
2006
ACM
We propose a novel approach to the classical view update problem. The view update problem arises from the fact that modifications to a database view may not correspond uniquely to...
168
click to vote
CASES
2006
ACM
16 years 25 days ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
168
click to vote
SAC
2005
ACM
16 years 13 days ago
2005
ACM
E-commerce as well as B2B applications are essentially based on interactions between different people and organizations (e.g. industry, banks, customers) that usually exploit the ...
168
click to vote
EMSOFT
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...