2521 search results - page 347 / 505 » Semantic Component Composition |
FTRTFT
1998
Springer
14 years 3 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
MPC
2010
Springer
14 years 22 days ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
IPM
2008
13 years 10 months ago
2008
Extracting semantic relationships between entities from text documents is challenging in information extraction and important for deep information processing and management. This ...
JSA
2006
13 years 10 months ago
2006
In this paper, we propose a schema version model which allows to restructure complex object hierarchy in object-oriented databases. This model extends a schema version model, call...
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...