1129 search results - page 45 / 226 » Agent-based semantic web services |
ATAL
2008
Springer
14 years 23 days ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
IEEEHPCS
2010
13 years 9 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
IEEESCC
2005
IEEE
14 years 4 months ago
2005
IEEE
SEMWEB
2004
Springer
14 years 4 months ago
2004
Springer
SEMWEB
2001
Springer
14 years 3 months ago
2001
Springer