Sciweavers

483 search results - page 67 / 97
» Representing Knowledge about Norms
Sort
View
ICCD
2006
IEEE
123views Hardware» more  ICCD 2006»
15 years 8 months ago
Steady and Transient State Analysis of Gate Leakage Current in Nanoscale CMOS Logic Gates
Abstract— Gate leakage (direct tunneling current for sub65nm CMOS) can severely affect both the transient and steady state behaviors of CMOS circuits. In this paper we quantify t...
Saraju P. Mohanty, Elias Kougianos
IWPC
2008
IEEE
15 years 6 months ago
Ensuring Well-Behaved Usage of APIs through Syntactic Constraints
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...
Martin Feilkas, Daniel Ratiu
CCGRID
2007
IEEE
15 years 6 months ago
MAPGrid: A New Architecture for Empowering Mobile Data Placement in Grid Environments
The rising popularity of mobile applications and devices has brought about an enhanced interest in infrastructure support for mobile computing. Our work focuses on the development...
Yun Huang, Nalini Venkatasubramanian, Yang Wang 00...
AB
2007
Springer
15 years 6 months ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...
ISMIS
2005
Springer
15 years 5 months ago
Statistical Database Modeling for Privacy Preserving Database Generation
Abstract. Testing of database applications is of great importance. Although various studies have been conducted to investigate testing techniques for database design, relatively fe...
Xintao Wu, Yongge Wang, Yuliang Zheng