Sciweavers

2163 search results - page 198 / 433
» cases 2004
Sort
View
ISMS
2004
Springer
15 years 12 months ago
GiPSi: An Open Source/Open Architecture Software Development Framework for Surgical Simulation
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
Tolga Goktekin, Murat Cenk Cavusoglu, Frank Tendic...
ISOLA
2004
Springer
15 years 12 months ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
ISW
2004
Springer
15 years 12 months ago
Universally Composable Secure Mobile Agent Computation
We study the security challenges faced by the mobile agent paradigm, where code travels and performs computations on remote hosts in an autonomous manner. We define universally co...
Ke Xu, Stephen R. Tate
IWCIA
2004
Springer
15 years 12 months ago
Curves, Hypersurfaces, and Good Pairs of Adjacency Relations
In this paper we propose several equivalent definitions of digital curves and hypersurfaces in arbitrary dimension. The definitions involve properties such as one-dimensionality ...
Valentin E. Brimkov, Reinhard Klette
KES
2004
Springer
15 years 12 months ago
Partial Merging of Semi-structured Knowledgebases
Automatizing the merging of knowledgebases is an important step towards more efficient knowledge management. The cases when two knowledgebases need to be merged completely into a m...
Ladislau Bölöni, Damla Turgut