1458 search results - page 228 / 292 » System Model-Based Definition of Modeling Language Semantics |
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
RDF is a data model for representing labeled directed graphs, and it is used as an important building block of semantic web. Due to its flexibility and applicability, RDF has bee...
ICESS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
PADL
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
ECBS
1999
IEEE
13 years 12 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...