Sciweavers

5215 search results - page 270 / 1043
» A model of normative power
Sort
View
ITC
1999
IEEE
103views Hardware» more  ITC 1999»
15 years 11 months ago
Resistive bridge fault modeling, simulation and test generation
Resistive bridging faults in combinational CMOS circuits are studied in this work. Circuit-level models are ed to voltage behavior for use in voltage-level fault simulation and te...
Vijay R. Sar-Dessai, D. M. H. Walker
FDL
2004
IEEE
15 years 11 months ago
GBLD: A Formal Model for Layout Description and Generation
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
I-Lun Tseng, Adam Postula
TOSEM
2002
93views more  TOSEM 2002»
15 years 7 months ago
Alloy: a lightweight object modelling notation
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
Daniel Jackson
ICDE
2005
IEEE
107views Database» more  ICDE 2005»
16 years 8 months ago
Spatiotemporal Annotation Graph (STAG): A Data Model for Composite Digital Objects
In this demonstration, we present a database over complex documents, which, in addition to a structured text content, also has update information, annotations, and embedded object...
Smriti Yamini, Amarnath Gupta
CNSR
2008
IEEE
151views Communications» more  CNSR 2008»
16 years 1 months ago
Discrete Model to Estimate Lifetime of a Wireless Sensor Network for Audio Storage
— Wireless sensor networks (WSNs) can be used to record and store audio data at remote and inaccessible places. However, audio data adds an additional concern to the design of th...
Sajid Hussain, Patrick Drane, Michael Mallinson