Sciweavers

1052 search results - page 68 / 211
» Foundations for Virtual Types
Sort
View
RE
2001
Springer
14 years 1 months ago
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
Victor L. Winter, Dejan Desovski, Bojan Cukic
ICRA
1999
IEEE
146views Robotics» more  ICRA 1999»
14 years 1 months ago
Planning Tracking Motions for an Intelligent Virtual Camera
We consider the problem of automatically generating viewpoint motions for a virtual camera tracking a moving target. Given the target's trajectory, we plan the motion of a ca...
Tsai-Yen Li, Tzong-Hann Yu
OOPSLA
2000
Springer
14 years 16 days ago
Application isolation in the JavaTM Virtual Machine
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
Grzegorz Czajkowski
WSC
2008
13 years 11 months ago
Enhanced Bandwidth-Delay Based Routing Algorithm for a packet-switched virtual call centre environment
Traditionally call centres were based on circuit-switched systems. But with the advancement of communication technologies, call centres have shifted to packet-switched systems. Th...
Akinbola Adetunji, Hadi Larijani
FLAIRS
2000
13 years 10 months ago
Actively Supporting Collaboration in Virtual Learning Environments
Collaboration between peers is an important aspect of the learning process and can considerably augment learning in studying complex domains. To ensure that peer collaboration occ...
Adrian Gordon, Lynne E. Hall