9264 search results - page 354 / 1853 » Space Between Languages |
178
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
160
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
201
click to vote
AIM
2002
15 years 6 months ago
2002
We examine the design space of auction mechanisms and identify three core activities that structure this space. Formal parameters qualifying the performance core activities enable...
150
click to vote
EMNLP
2009
15 years 4 months ago
2009
We propose a novel unsupervised approach for distinguishing literal and non-literal use of idiomatic expressions. Our model combines an unsupervised and a supervised classifier. T...
270
click to vote
ICDE
1999
IEEE
16 years 8 months ago
1999
IEEE
Temporal reasoning and temporal query languages present di cult research problems of theoretical interest and practical importance. One problem is the chasm between point-based te...