Sciweavers

3330 search results - page 328 / 666
» software 2010
Sort
View
ENTCS
2006
155views more  ENTCS 2006»
15 years 4 months ago
Mathematical Service Trading Based on Equational Matching
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
Aurélie Hurault, Marc Pantel
SAC
2010
ACM
15 years 11 months ago
Performance and extension of user space file systems
Several efforts have been made over the years for developing file systems in user space. Many of these efforts have failed to make a significant impact as measured by their us...
Aditya Rajgarhia, Ashish Gehani
ICCHP
2010
Springer
15 years 6 months ago
Redefining Assumptions: Accessibility and Its Stakeholders
Abstract. Accessibility is becoming more and more relevant in Information technologies, such as the Web and software applications, particularly due to the push on legislation to ma...
Rui Lopes, Karel Van Isacker, Luís Carri&cc...
PUC
2010
116views more  PUC 2010»
15 years 2 months ago
Requirements for mobile photoware
What is the future of digital imaging? Mobile imaging technologies have been changing rapidly and will continue to do so. We explore new developments in cameraphone photography wit...
Morgan Ames, Dean Eckles, Mor Naaman, Mirjana Spas...
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 8 months ago
Learning Component Interfaces with May and Must Abstractions
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
Rishabh Singh, Dimitra Giannakopoulou, Corina S. P...