Sciweavers

2030 search results - page 192 / 406
» The Need for Customizable Operating Systems
Sort
View
157
Voted
AICCSA
2001
IEEE
131views Hardware» more  AICCSA 2001»
15 years 9 months ago
Constraint-Based Timetabling-A Case Study
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
Abdulwahed M. Abbas, Edward P. K. Tsang
ESORICS
2000
Springer
15 years 9 months ago
Verification of a Formal Security Model for Multiapplicative Smart Cards
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
ICCV
1995
IEEE
15 years 9 months ago
A Quantitative Analysis of View Degeneracy and its use for Active Focal Length control
W e quantify the observation by Kender and Freudenstein [6] that degenerate views occupy a significant fraction of the viewing sphere surrounding an object. This demonstrates that...
David Wilkes, Sven J. Dickinson, John K. Tsotsos
164
Voted
WSC
2007
15 years 8 months ago
Using simulation to predict market behavior for outbound call centers
In the last few years, the call center industry has considerably grown especially the outbound call center area, such as telemarketing. The productivity of the call centers has si...
Paulo J. de Freitas Filho, Geovani Ferreira da Cru...
AAAI
1998
15 years 7 months ago
Cooperating with people: the Intelligent Classroom
People frequently complain that it is too difficult to figure out how to get computers to do what they want. However, with a computer system that actually tries to understand what...
David Franklin