A semantic foundation for TCOZ in unifying theories of programming

A semantic P2P framework for building context-aware applications in multiple smart spaces

Gu, T.
Pung, H.K.
Zhang, D.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Dong, J.S.
Hao, P.
Qin, S.
Zhang, X.

January 2005

10.1007/11576280_6Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial...

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lynn Batten (13081779)
R Safavi-Naini (13293120)

February 2023

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and ...

Semantic web languages - Towards an institutional perspective

Lucanu, D.
Li, Y.F.
Dong, J.S.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Formalizing semantics of XSLT using object-Z

Yang, H.L.
Dong, J.S.
Hao, K.G.
Han, J.G.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Visualizing and simulating semantic web services ontologies

Sun, J.
Li, Y.F.
Wang, H.
Sun, J.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Checking and reasoning about Semantic Web through alloy

Dong, J.S.
Sun, J.
Wang, H.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Efficient semantic search in peer-to-peer systems

Zhou, A.
Ling, B.
Lu, Z.
Ng, W.
Shu, Y.
Tan, K.-L.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A relational model for object-oriented designs

Jifeng, H.
Liu, Z.
Li, X.
Qin, S.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The XOO7 benchmark

Bressan, S.
Lee, M.L.
Li, Y.G.
Lacroix, Z.
Nambiar, U.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Roychoudhury, A.
D'Souza, M.

January 2012

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Semantic Multimedia: Preface

Chua, T.-S.
Kompatsiaris, Y.
Mérialdo, B.
Haas, W.
Thallinger, G.
Bailer, W.

January 2009

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Timed patterns: TCOZ to timed automata

Dong, J.S.
Hao, P.
Qin, S.C.
Sun, J.
Yi, W.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Capturing semantics in XML documents

Ling, T.W.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A semantic P2P framework for building context-aware applications in multiple smart spaces

Gu, T.
Pung, H.K.
Zhang, D.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The semantics and tool support of OZTA

Dong, J.S.
Hao, P.
Qin, S.
Zhang, X.

January 2005

10.1007/11576280_6Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial...

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lynn Batten (13081779)
R Safavi-Naini (13293120)

February 2023

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and ...

Semantic web languages - Towards an institutional perspective

Lucanu, D.
Li, Y.F.
Dong, J.S.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Formalizing semantics of XSLT using object-Z

Yang, H.L.
Dong, J.S.
Hao, K.G.
Han, J.G.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Visualizing and simulating semantic web services ontologies

Sun, J.
Li, Y.F.
Wang, H.
Sun, J.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Checking and reasoning about Semantic Web through alloy

Dong, J.S.
Sun, J.
Wang, H.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Efficient semantic search in peer-to-peer systems

Zhou, A.
Ling, B.
Lu, Z.
Ng, W.
Shu, Y.
Tan, K.-L.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A relational model for object-oriented designs

Jifeng, H.
Liu, Z.
Li, X.
Qin, S.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The XOO7 benchmark

Bressan, S.
Lee, M.L.
Li, Y.G.
Lacroix, Z.
Nambiar, U.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Roychoudhury, A.
D'Souza, M.

January 2012

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Semantic Multimedia: Preface

Chua, T.-S.
Kompatsiaris, Y.
Mérialdo, B.
Haas, W.
Thallinger, G.
Bailer, W.

January 2009

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Timed patterns: TCOZ to timed automata

Dong, J.S.
Hao, P.
Qin, S.C.
Sun, J.
Yi, W.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Capturing semantics in XML documents

Ling, T.W.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A semantic P2P framework for building context-aware applications in multiple smart spaces

Gu, T.
Pung, H.K.
Zhang, D.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

The semantics and tool support of OZTA

Dong, J.S.
Hao, P.
Qin, S.
Zhang, X.

January 2005

10.1007/11576280_6Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial...

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lynn Batten (13081779)
R Safavi-Naini (13293120)

February 2023

Lecture Notes in Computer Science (including subseries Lacture Notes in Artificial Intelligence and ...

A semantic foundation for TCOZ in unifying theories of programming

Abstract

Extracted data

A semantic foundation for TCOZ in unifying theories of programming

Abstract

Extracted data

Topics

Related items

Topics

Related items