837 search results - page 132 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
EICS
2010
ACM
13 years 5 months ago
2010
ACM
We propose an automated routine for hierarchical menu structure optimization. A computer advice-giving system founded on the mathematical model of menu navigation directs the desi...
ADC
2003
Springer
14 years 28 days ago
2003
Springer
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, con...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
Our dynamic graph-based relational mining approach has been developed to learn structural patterns in biological networks as they change over time. The analysis of dynamic network...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
One important aspect of motivation is engagement. In order to learn, students need to be engaged in the learning activities. However, that does not always happen due to various fac...
JCP
2006
13 years 7 months ago
2006
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...