22698 search results - page 4093 / 4540 » Modeling in Software Engineering |
178
click to vote
SIGIR
2012
ACM
13 years 8 months ago
2012
ACM
Query auto-completion (QAC) is a common feature in modern search engines. High quality QAC candidates enhance search experience by saving users time that otherwise would be spent ...
183
click to vote
TVCG
2012
13 years 8 months ago
2012
—Vector field visualization techniques have evolved very rapidly over the last two decades, however, visualizing vector fields on complex boundary surfaces from computational ...
178
click to vote
VEE
2010
ACM
16 years 1 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
200
click to vote
LFCS
2009
Springer
16 years 25 days ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
188
click to vote
SACMAT
2009
ACM
16 years 23 days ago
2009
ACM
Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandat...