7452 search results - page 271 / 1491 » A Semantics for Multiprocessor Systems |
171
click to vote
EKAW
2004
Springer
16 years 1 days ago
2004
Springer
There are shortcomings in using the Web to publish information which are information overload and lost in hyperspace. The aim of the research is investigating how the Semantic web,...
162
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
199
click to vote
AICCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
Semantic web search engines are evolving and many prototype systems and some implementation have been developed. However, there are some different views on what a semantic search e...
172
click to vote
VVEIS
2008
15 years 8 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
160
click to vote
ENGL
2007
15 years 6 months ago
2007
—In previous works, we have presented the advantages of using a domain ontology and annotations on information retrieval as well as the translation problems between languages wit...