Sciweavers

2290 search results - page 262 / 458
» Extensible Protected Types
Sort
View
ESORICS
2007
Springer
16 years 18 days ago
Security of Multithreaded Programs by Compilation
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
Gilles Barthe, Tamara Rezk, Alejandro Russo, Andre...
ICCS
2007
Springer
16 years 18 days ago
A New Method to Model Neighborhood Interaction in Cellular Automata-Based Urban Geosimulation
Local spatial interaction (i.e. neighborhood interaction) between land-use types is an important component in Cellular Automata -based urban geosimulation models. Herein a new meth...
Yaolong Zhao, Yuji Murayama
LCPC
2007
Springer
16 years 17 days ago
Revisiting SIMD Programming
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
Anton Lokhmotov, Benedict R. Gaster, Alan Mycroft,...
SEMWEB
2007
Springer
16 years 17 days ago
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but ...
Fernando Bobillo, Miguel Delgado, Juan Góme...
SEMWEB
2007
Springer
16 years 17 days ago
EachWiki: Suggest to Be an Easy-To-Edit Wiki Interface for Everyone
Abstract. In this paper, we present EachWiki, an extension of Semantic MediaWiki characterized by an intelligent suggestion mechanism. It aims to facilitate the wiki authoring by r...
Huajie Zhang, Linyun Fu, Haofen Wang, Haiping Zhu,...