13 search results - page 3 / 3 » A Description Classifier for the Predicate Calculus |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
FMCO
2003
Springer
13 years 10 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
MIDDLEWARE
2007
Springer
13 years 11 months ago
2007
Springer
GloServ is a global service discovery system which aggregates different types of services in a globally distributed network. It improves on current service discovery systems by sc...