Sciweavers

3639 search results - page 364 / 728
» Experiments on IPv6 Testing
Sort
View
ENTCS
2006
119views more  ENTCS 2006»
15 years 3 months ago
Trace Machines for Observing Continuous-Time Markov Chains
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
Verena Wolf, Christel Baier, Mila E. Majster-Ceder...
114
Voted
CE
2007
96views more  CE 2007»
15 years 3 months ago
The ECDL programme in Italian Universities
The European Computer Driving Licence (ECDL) programme aims at testing practical skills and competencies in using ICT tools. This paper presents the results of a monitoring exerci...
Mariacarla Calzarossa, Paolo Ciancarini, Paolo Mar...
142
Voted
INFORMATICALT
2008
154views more  INFORMATICALT 2008»
15 years 3 months ago
A Novel Biometric Personal Verification System Based on the Combination of Palmprints and Faces
Abstract. This paper presents a bimodal biometric verification system based on the fusion of palmprint and face features at the matching-score level. The system combines a new appr...
Slobodan Ribaric, Ivan Fratric, Kristina Kis
IJMMS
2006
119views more  IJMMS 2006»
15 years 3 months ago
Pair programming productivity: Novice-novice vs. expert-expert
Agile Software Development methodologies have grown in popularity both among academic researchers and industrial practitioners. Among the various methodologies or practices propos...
Kim Man Lui, Keith C. C. Chan
INFORMATICALT
2006
77views more  INFORMATICALT 2006»
15 years 3 months ago
Parallel Numerical Algorithms for 3D Parabolic Problem with Nonlocal Boundary Condition
Three parallel algorithms for solving the 3D problem with nonlocal boundary condition are considered. The forward and backward Euler finite-difference schemes, and LOD scheme are t...
Raimondas Ciegis