672 search results - page 94 / 135 » On the Expressive Power of the Loop Language |
142
click to vote
ER
2009
Springer
16 years 20 days ago
2009
Springer
In previous work, we proposed an algebra whose operators allow to specify the valid compound terms of a faceted taxonomy, in a flexible manner (by combining positive and negative ...
150
click to vote
ESWS
2009
Springer
16 years 20 days ago
2009
Springer
As social networks are becoming ubiquitous on the Web, the Semantic Web goals indicate that it is critical to have a standard model allowing exchange, interoperability, transformat...
175
click to vote
LICS
2008
IEEE
16 years 14 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
156
click to vote
WISE
2005
Springer
15 years 11 months ago
2005
Springer
Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-e...
183
click to vote
ACMICEC
2005
ACM
15 years 11 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...