Sciweavers

10241 search results - page 1720 / 2049
» Goal-Driven Software Development
Sort
View
WWW
2001
ACM
16 years 4 months ago
A Logic-based Framework for Mobile Intelligent Information Agents
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
Naoki Fukuta, Takayuki Ito, Toramatsu Shintani
CC
2009
Springer
116views System Software» more  CC 2009»
16 years 4 months ago
A Framework for Exploring Optimization Properties
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
Min Zhao, Bruce R. Childers, Mary Lou Soffa
VLSID
2009
IEEE
115views VLSI» more  VLSID 2009»
16 years 4 months ago
Efficient Techniques for Directed Test Generation Using Incremental Satisfiability
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
Prabhat Mishra, Mingsong Chen
ESORICS
2009
Springer
16 years 4 months ago
WORM-SEAL: Trustworthy Data Retention and Verification for Regulatory Compliance
Abstract. As the number and scope of government regulations and rules mandating trustworthy retention of data keep growing, businesses today are facing a higher degree of regulatio...
Tiancheng Li, Xiaonan Ma, Ninghui Li
CHI
2009
ACM
16 years 4 months ago
Using strokes as command shortcuts: cognitive benefits and toolkit support
This paper investigates using stroke gestures as shortcuts to menu selection. We first experimentally measured the performance and ease of learning of stroke shortcuts in comparis...
Caroline Appert, Shumin Zhai
« Prev « First page 1720 / 2049 Last » Next »