7139 search results - page 1090 / 1428 » Language Engineering in Practice |
188
Voted
FOSSACS
2005
Springer
16 years 9 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
135
click to vote
FOSSACS
2005
Springer
16 years 9 days ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
174
click to vote
GEOS
2005
Springer
16 years 9 days ago
2005
Springer
This paper analyses reported difficulties in spatial data retrieval from Internet portals, based on results from an empirical survey. The analysis reveals the problems which cause ...
192
click to vote
ICESS
2005
Springer
16 years 9 days ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
167
click to vote
ICESS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...