2111 search results - page 226 / 423 » How to Program Pervasive Systems |
131
Voted
STEP
2003
IEEE
15 years 9 months ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
121
Voted
UM
2001
Springer
15 years 8 months ago
2001
Springer
This paper explores how user modelling can work as an aid for human assistants in a user support system for web sites. Information about the user can facilitate for the assistant t...
136
Voted
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
Dynamic Aspect Oriented Programming (AOP) technologies typically provide coarse-grained mechanisms for adapting aspects that cross-cut a system deployment; i.e. whole aspect module...
223
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Abstract: Modeling the interactions of biological molecules, or docking, is critical to both understanding basic life processes and to designing new drugs. Here we describe the GPU...
136
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...