Sciweavers

2757 search results - page 220 / 552
» On separating systems
Sort
View
144
Voted
IJNSEC
2008
143views more  IJNSEC 2008»
15 years 5 months ago
New Cryptanalysis Paradigm on a Nonce-based Mutual Authentication Scheme
In 2005, Lee, Kim, and Yoo proposed a nonce-based mutual authentication scheme using smart cards. However, this paper demonstrates that Lee-Kim-Yoo's scheme is vulnerable to ...
Da-Zhi Sun, Zhen-Fu Cao
OOPSLA
2000
Springer
15 years 8 months ago
Finding refactorings via change metrics
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...
Serge Demeyer, Stéphane Ducasse, Oscar Nier...
161
Voted
ECRTS
2010
IEEE
15 years 5 months ago
Improved Tardiness Bounds for Global EDF
The Earliest Deadline First scheduling algorithm (EDF) is known to not be optimal under global scheduling on multiprocessor platforms. Results have been obtained that bound the ma...
Jeremy P. Erickson, UmaMaheswari Devi, Sanjoy K. B...
ITS
1998
Springer
107views Multimedia» more  ITS 1998»
15 years 9 months ago
Toward a Unification of Human-Computer Learning and Tutoring
We define a learning tutor as being an intelligent agent that learns from human tutors and then tutors human learners. The notion of a learning tutor provides a conceptual framewor...
Henry Hamburger, Gheorghe Tecuci
FATES
2005
Springer
15 years 10 months ago
Simulated Time for Testing Railway Interlockings with TTCN-3
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
Stefan Blom, Natalia Ioustinova, Jaco van de Pol, ...