1746 search results - page 141 / 350 » A Constructive Semantics for ALC |
150
click to vote
ADBIS
2007
Springer
15 years 10 months ago
2007
Springer
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...
131
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
133
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
148
click to vote
PODS
2010
ACM
15 years 9 months ago
2010
ACM
There are major trends to advance the functionality of search engines to a more expressive semantic level. This is enabled by the advent of knowledge-sharing communities such as W...
116
Voted
VL
1999
IEEE
15 years 9 months ago
1999
IEEE
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...