2448 search results - page 183 / 490 » The Octahedron Abstract Domain |
159
click to vote
FSTTCS
2005
Springer
16 years 18 days 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...
207
click to vote
ICALP
2005
Springer
16 years 18 days 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...
161
click to vote
IJCNLP
2005
Springer
16 years 17 days 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...
159
click to vote
SEMWEB
2005
Springer
16 years 16 days 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...
156
click to vote
ATAL
2004
Springer
16 years 14 days 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...