9110 search results - page 1610 / 1822 » Formally-Based Design Evaluation |
142
click to vote
SIGMOD
2009
ACM
15 years 8 months ago
2009
ACM
It has recently been asserted that the usability of a database is as important as its capability. Understanding the database schema, the hidden relationships among attributes in t...
130
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
In dynamic environments with frequent content updates, we require online full-text search that scales to large data collections and achieves low search latency. Several recent met...
144
click to vote
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
Synchronization is a good candidate for an aspect in aspectoriented programming (AOP) since programmers have to choose the best granularity of synchronization for the underlying h...
274
click to vote
MHCI
2009
Springer
15 years 8 months ago
2009
Springer
Touch-sensitive displays seem like a natural and promising option for dealing with the increasing complexity of current in-vehicle information systems (IVIS), but since they can h...
147
click to vote
INAP
2001
Springer
15 years 8 months ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...