Sciweavers

154 search results - page 9 / 31
» Microcomponent-Based Component Controllers: A Foundation for...
Sort
View
DEXAW
1998
IEEE
82views Database» more  DEXAW 1998»
14 years 1 days ago
User Authentication in Multidatabase Systems
The aspect of security needs more consideration in the area of architectures for multidatabase systems. Particularly, the authentication of users which is a main prerequisite for ...
Eyk Hildebrandt, Gunter Saake
WSCG
2003
122views more  WSCG 2003»
13 years 9 months ago
Using Registration, Calibration, and Robotics to Build a More Accurate Virtual Reality Simulation for Astronaut Training and Tel
Computer simulation of surgery and scientific experiments help in preparation, training, and assessment. These benefits can be further extended with the integration of robotics fo...
Anil Menon, B. Barnes, R. Mills, Cynthia Bruyns, A...
RSP
1999
IEEE
14 years 1 days ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
JASIS
2008
94views more  JASIS 2008»
13 years 7 months ago
Toward a theory of network gatekeeping: A framework for exploring information control
Gatekeeping theories have been a popular heuristic for describing information control for years, but none have attained a full theoretical status in the context of networks. This ...
Karine Barzilai-Nahon
HASE
1997
IEEE
13 years 12 months ago
Automated Computation of Decomposable Synchronization Conditions
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
Gilberto Matos, James M. Purtilo, Elizabeth L. Whi...