2830 search results - page 68 / 566 » No Science without Semantics |
RTA
2005
Springer
14 years 1 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
GI
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The paper describes a set of approaches for representing and accessing information within a semantically structured information portal, while offering the possibility to ...
GG
2008
Springer
2008
Springer
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
13 years 8 months ago
An important requirement of model transformations is the preservation of the behavior of the original model. A model transformation is semantically correct if for each simulation r...
IFIPTCS
2010
13 years 5 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
GI
2010
Springer
13 years 5 months ago
2010
Springer
: Even though service discovery is one of the vital steps in Web service invocation, service requests are usually expressed by rather simple means. While syntax-based service descr...