3429 search results - page 391 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
177
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
As a principled approach to capturing semantic relations of words in information retrieval, statistical translation models have been shown to outperform simple document language m...
181
Voted
JUCS
2010
14 years 11 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
158
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
140
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
169
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...