Sciweavers

504 search results - page 96 / 101
» Modular System Development with Pullbacks
Sort
View
PPDP
2009
Springer
15 years 6 months ago
Session types for linear multithreaded functional programming
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
Vasco Thudichum Vasconcelos
ICRA
2008
IEEE
127views Robotics» more  ICRA 2008»
15 years 6 months ago
Insertable surgical imaging device with pan, tilt, zoom, and lighting
Abstract— This paper describes work we have done in developing an insertable surgical imaging device with multiple degrees-of-freedom for minimally invasive surgery. The device i...
Tie Hu, Peter K. Allen, Nancy J. Hogle, Dennis L. ...
SACMAT
2003
ACM
15 years 5 months ago
Cooperative role-based administration
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
Horst Wedde, Mario Lischka
PRESENCE
2000
92views more  PRESENCE 2000»
14 years 11 months ago
Virtual Explorer: Interactive Virtual Environment for Education
The Virtual Explorer project of the Senses Bureau at the University of California, San Diego, focuses on creating immersive, highly interactive environments for education and scie...
Kevin L. Dean, Xyler S. Asay-Davis, Evan M. Finn, ...
COMSWARE
2007
IEEE
15 years 6 months ago
OASiS: A Programming Framework for Service-Oriented Sensor Networks
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...
Manish Kushwaha, Isaac Amundson, Xenofon D. Koutso...