6016 search results - page 960 / 1204 » The semantics of graphical languages |
189
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
173
click to vote
COLING
1992
15 years 7 months ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
241
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
The proliferation of spatial data on the Internet is beginning to allow a much wider access to data currently available in various Geographic Information Systems (GIS). In order t...
231
Voted
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
192
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...