6343 search results - page 119 / 1269 » Development of a Cartographic Language |
139
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
145
click to vote
MSO
2003
15 years 6 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
128
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Service dependency management in serviceoriented component platforms is described with languages, which cannot be easily adapted to domain-specific requirements. This p...
173
click to vote
VL
2000
IEEE
15 years 9 months ago
2000
IEEE
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...
154
click to vote
POPL
1994
ACM
15 years 9 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...