2448 search results - page 183 / 490 » The Octahedron Abstract Domain |
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
IJCNLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Katakana, Japanese phonogram mainly used for loan words, is a troublemaker in Japanese word segmentation. Since Katakana words are heavily domaindependent and there are m...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
The paper presents a framework for introducing design patterns that facilitate or improve the techniques used during ontology lifecycle. Some distinctions are drawn between kinds o...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Agents in a team must be in agreement. Once a disagreement occurs we should detect the disagreement and diagnose it. Unfortunately, current diagnosis techniques do not sc...