4382 search results - page 383 / 877 » Query by Semantic Example |
149
click to vote
ENTCS
2008
15 years 4 months ago
2008
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
149
click to vote
GEOINFORMATICA
2006
15 years 4 months ago
2006
Metadata is needed to facilitate data sharing among geospatial information communities. Geographic Metadata Standards are available but tend to be general and complex in nature an...
135
click to vote
JSW
2008
15 years 4 months ago
2008
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...
165
click to vote
CN
1999
15 years 3 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
143
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...