7452 search results - page 239 / 1491 » A Semantics for Multiprocessor Systems |
159
Voted
CSWWS
2006
15 years 8 months ago
2006
The realization of Semantic Web vision is based on the creation and use of semantic web content which needs software tools both for semantic web developers and end users. Over the ...
145
Voted
RTCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
126
Voted
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
130
click to vote
JLP
2006
15 years 4 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
261
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
In this paper, we present iBroker, an Intelligent Broker for ontology based publish/subscribe systems which syntactically and semantically match incoming OWL data to multiple user ...