Sciweavers

4099 search results - page 590 / 820
» A Framework for Interactive Proof
Sort
View
SMA
2009
ACM
137views Solid Modeling» more  SMA 2009»
16 years 1 months ago
Hierarchical molecular interfaces and solvation electrostatics
Electrostatic interactions play a significant role in determining the binding affinity of molecules and drugs. While significant effort has been devoted to the accurate computat...
Chandrajit L. Bajaj, Shun-Chuan Albert Chen, Guoli...
DSRT
2008
IEEE
16 years 1 months ago
Simulating the Potential Savings of Implicit Energy Management on a City Scale
According to statistics and future prospects in the next few years world-wide energy consumption will increase significantly. Therefore not only more energy efficient technologi...
Doris Zachhuber, Jakob Doppler, Alois Ferscha, Cor...
MOBIQUITOUS
2008
IEEE
16 years 29 days ago
ScreenSpot resource discovery for smart spaces and mobilevue media sharing application
This paper documents the demonstration showcasing the ScreenSpot resource discovery framework and the MobileVue social media sharing application. The key points of the demonstrati...
Marko Jurmu, Sebastian Boring, Jukka Riekki
WCNC
2008
IEEE
16 years 28 days ago
Senslets- Applets for the Sensor Internet
The Sensor Internet provides access to sensor services by connecting sensor nodes to the Internet infrastructure. To achieve this, current solutions rely on fixed access points or ...
Frank Siegemund, Muhammad Haroon, Junaid Ansari, P...
IPPS
2007
IEEE
16 years 26 days ago
Software Tools for Performance Modeling of Parallel Programs
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
Diego Rodriguez Martínez, Vicente Blanco P&...