Sciweavers

9390 search results - page 1841 / 1878
» 'Interactivity' - Tracking a New Concept
Sort
View
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
14 years 6 days ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...
VDA
2010
200views Visualization» more  VDA 2010»
14 years 6 days ago
Operator-centric design patterns for information visualization software
Design patterns have proven to be a useful means to make the process of designing, developing, and reusing software systems more efficient. In the area of information visualizatio...
Zaixian Xie, Zhenyu Guo, Matthew O. Ward, Elke A. ...
VISSYM
2007
14 years 6 days ago
A Tri-Space Visualization Interface for Analyzing Time-Varying Multivariate Volume Data
The dataset generated by a large-scale numerical simulation may include thousands of timesteps and hundreds of variables describing different aspects of the modeled physical pheno...
Hiroshi Akiba, Kwan-Liu Ma
AAAI
2007
14 years 3 days ago
Integrated Introspective Case-Based Reasoning for Intelligent Tutoring Systems
Many intelligent tutoring systems (ITSs) have been developed, deployed, assessed, and proven to facilitate learning. However, most of these systems do not generally adapt to new c...
Leen-Kiat Soh
USENIX
2008
14 years 3 days ago
Spectator: Detection and Containment of JavaScript Worms
Recent popularity of interactive AJAX-based Web 2.0 applications has given rise to a new breed of security threats: JavaScript worms. In this paper we propose Spectator, the first...
V. Benjamin Livshits, Weidong Cui
« Prev « First page 1841 / 1878 Last » Next »