1375 search results - page 18 / 275 » SDL-2000: A Language with a Formal Semantics |
108
click to vote
ENTCS
2007
15 years 1 months ago
2007
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
96
Voted
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
101
click to vote
ATAL
2001
Springer
15 years 6 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
199
click to vote
DOCENG
2011
ACM
14 years 1 months ago
2011
ACM
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
107
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...