Sciweavers

4445 search results - page 225 / 889
» Reflective Authorization Systems
Sort
View

Publication
185views
17 years 4 months ago
Computer Networking in the People's Republic of China: A Trip Report
The authors were part of an eighteen-member international delegation of data communications professionals that recently visited the People's Republic of China. This report on ...
R. Jain and R. L. Pickholtz,
MM
1999
ACM
141views Multimedia» more  MM 1999»
15 years 10 months ago
Passive capture and structuring of lectures
Despite recent advances in authoring systems and tools, creating multimedia presentations remains a labor-intensive process. This paper describes a system for automatically constr...
Sugata Mukhopadhyay, Brian Christopher Smith
CSL
2004
Springer
15 years 9 months ago
Pfaffian Hybrid Systems
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...
Margarita V. Korovina, Nicolai Vorobjov
DSN
2008
IEEE
15 years 7 months ago
Experiences with formal specification of fault-tolerant file systems
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
Roxana Geambasu, Andrew Birrell, John MacCormick
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
15 years 11 months ago
Optimal Design, Evaluation, and Analysis of AGV Transportation Systems Based on Various Transportation Demands
— In this paper, two designs for optimal Automated Guided Vehicle (AGV) transportation systems are presented. One is vertical and the other, horizontal. For these systems, the hy...
Satoshi Hoshino, Jun Ota, Akiko Shinozaki, Hideki ...