1318 search results - page 78 / 264 » The formal semantics of the timeER model |
176
click to vote
JTAER
2010
14 years 8 months ago
2010
With the emergence of the e-Catalog, there has been an increasingly wide application of commodities query in distributed environment in the field of e-commerce. But e-Catalog is o...
124
click to vote
ENTCS
2006
15 years 2 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
135
click to vote
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
118
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...