Sciweavers

2685 search results - page 7 / 537
» A Formal Semantics for SPKI
Sort
View
72
Voted
IFM
2000
Springer
111views Formal Methods» more  IFM 2000»
15 years 1 months ago
A Concurrent and Compositional Petri Net Semantics of Preemption
Hanna Klaudel, Franck Pommereau
ICECCS
2007
IEEE
144views Hardware» more  ICECCS 2007»
15 years 3 months ago
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...
ENTCS
2008
106views more  ENTCS 2008»
14 years 9 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer