3207 search results - page 47 / 642 » A Semantics for HTN Methods |
FM
2005
Springer
14 years 3 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
We present a software architecture to implement applications in the Semantic Web, based on designs specified in the Semantic Hypermedia Design Method (SHDM). This architecture sup...
ISSAC
1998
Springer
14 years 2 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
IFM
1999
Springer
14 years 2 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
SEMWEB
2010
Springer
13 years 7 months ago
2010
Springer
When multiple ontologies are used within one application system, aligning the ontologies is a prerequisite for interoperability and unhampered semantic navigation and search. Vario...