Sciweavers

899 search results - page 109 / 180
» Using Method Engineering for the Construction of Agent-Orien...
Sort
View
167
Voted
VISUALIZATION
2002
IEEE
15 years 8 months ago
Comparative Evaluation of Visualization and Experimental Results Using Image Comparison Metrics
Comparative evaluation of visualization and experiment results is a critical step in computational steering. In this paper, we present a study of image comparison metrics for quan...
Hualin Zhou, Min Chen, Mike F. Webster
135
Voted
ICFEM
2009
Springer
15 years 10 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
141
Voted
DAC
1999
ACM
15 years 7 months ago
ipChinook: an Integrated IP-based Design Framework for Distributed Embedded Systems
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
Pai H. Chou, Ross B. Ortega, Ken Hines, Kurt Partr...
146
Voted
ICCAD
2009
IEEE
121views Hardware» more  ICCAD 2009»
15 years 1 months ago
MOLES: Malicious off-chip leakage enabled by side-channels
Economic incentives have driven the semiconductor industry to separate design from fabrication in recent years. This trend leads to potential vulnerabilities from untrusted circui...
Lang Lin, Wayne Burleson, Christof Paar
135
Voted
WWW
2008
ACM
16 years 4 months ago
Personalized interactive faceted search
Faceted search is becoming a popular method to allow users to interactively search and navigate complex information spaces. A faceted search system presents users with keyvalue me...
Jonathan Koren, Yi Zhang, Xue Liu