12637 search results - page 2187 / 2528 » Security for Extensible Systems |
190
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
167
click to vote
IJCNLP
2005
Springer
16 years 9 days ago
2005
Springer
Mining terminology translation from a large amount of Web data can be applied in many fields such as reading/writing assistant, machine translation and cross-language information r...
367
click to vote
IPMI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Three dimensional medial paths or curve skeletons (CS) are an essential component of any virtual endoscopy (VE) system, because they serve as flight paths for a virtual ...
171
click to vote
LCPC
2005
Springer
16 years 9 days ago
2005
Springer
Techniques for global register allocation via graph coloring have been extensively studied and widely implemented in compiler frameworks. This paper examines a particular variant â...
206
click to vote
MIS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...