6348 search results - page 929 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
213
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
205
click to vote
CCR
2011
15 years 1 months ago
2011
The most widely used technique for IP geolocation consists in building a database to keep the mapping between IP blocks and a geographic location. Several databases are available ...
226
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Annotations are a means to attach additional meta data to the source code of a system. Nowadays, more and more technologies rely on the presence of such annotations in the source c...
154
click to vote
SIAMAM
2011
15 years 1 months ago
2011
We consider an isolated system of N immiscible fluids, each following a stiffened-gas equation of state. We consider the problem of calculating equilibrium states from the conser...
176
click to vote
SIAMAM
2011
15 years 1 months ago
2011
We consider the problem of locating perfectly conducting cracks and estimating their geometric features from multi-static response matrix measurements at a single or multiple frequ...