2173 search results - page 215 / 435 » An operational semantics for skeletons |
ECAI
2008
Springer
14 years 16 days ago
2008
Springer
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...
FOMI
2008
14 years 6 days ago
2008
There is a trend in some manufacturing industries to move from selling products to providing services. As a result, designers must consider the life-cycle costs. In the aero indust...
FORTE
2001
14 years 4 days ago
2001
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...
PGLDB
2003
14 years 3 days ago
2003
Learning Content Management Systems (LCMS) supports e-learning applications with storage and efficient access for e-learning objects (LO)s. ROSA is a LCMS built as a semantic laye...
DBSEC
2000
14 years 3 days ago
2000
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...