404 search results - page 43 / 81 » Temporal Constraints in Non-temporal Data Modelling Language... |
153
click to vote
ANSOFT
2002
15 years 1 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
ERLANG
2006
ACM
15 years 8 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
106
click to vote
POPL
2009
ACM
15 years 8 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
143
click to vote
EMNLP
2011
14 years 1 months ago
2011
Context-dependent word similarity can be measured over multiple cross-cutting dimensions. For example, lung and breath are similar thematically, while authoritative and superfici...
145
click to vote
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...