Sciweavers

5243 search results - page 881 / 1049
» Reasoning About Strategies
Sort
View
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
SEMWEB
2010
Springer
15 years 1 months ago
Modeling vs encoding for the Semantic Web
The Semantic Web emphasizes encoding over modeling. It is built on the premise that ontology engineers can say something useful about the semantics of vocabularies by expressing th...
Werner Kuhn
TCAD
2010
121views more  TCAD 2010»
15 years 1 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
CHI
2011
ACM
14 years 10 months ago
Side effects and "gateway" tools: advocating a broader look at evaluating persuasive systems
This paper argues for evaluating the impact of persuasive systems on users beyond metrics that focus on system usage, based on an interview study of 16 Wii Fit users. While explor...
Victoria Schwanda, Steven Ibara, Lindsay Reynolds,...
DASFAA
2011
IEEE
251views Database» more  DASFAA 2011»
14 years 10 months ago
Towards Web Search by Sentence Queries: Asking the Web for Query Substitutions
In this paper, we propose a method to search the Web for sentence substitutions for a given sentence query. Our method uses only lexico-syntactic patterns dynamically generated fro...
Yusuke Yamamoto, Katsumi Tanaka