9873 search results - page 102 / 1975 » Emergent Semantics Systems |
ETFA
2006
IEEE
14 years 2 months ago
2006
IEEE
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
FM
2003
Springer
14 years 2 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
STEP
2003
IEEE
14 years 2 months ago
2003
IEEE
Currently we are experiencing the emergence of the fourth generation of the World Wide Web which is geared towards service and data provision using semantic and ontological inform...
DGO
2003
13 years 10 months ago
2003
We propose a novel approach for organizing and describing e-government services on the envisioned Semantic Web. We combine the emerging concepts of Web services and ontologies to ...