Sciweavers

5336 search results - page 199 / 1068
» Steerable part models
Sort
View
EURODAC
1995
IEEE
100views VHDL» more  EURODAC 1995»
13 years 11 months ago
A unified approach to the extraction of realistic multiple bridging and break faults
The presented fault model uniquely describes all structural changes in the transistor net list that can be caused by spot defects, including faults that connect more than two nets...
Gerald Spiegel, Albrecht P. Stroele
WSC
1997
13 years 9 months ago
Web-based Simulation in Simjava Using Remote Method Invocation
An investigation is underway regarding technologies to support the design, development and use of distributed, web-based simulations. As part of this investigation the Simjava sim...
Ernest H. Page, Robert L. Moose Jr., Sean P. Griff...
JSYML
2008
112views more  JSYML 2008»
13 years 8 months ago
Internal consistency for embedding complexity
In a previous paper with M. Dzamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size together with ...
Sy-David Friedman, Katherine Thompson
FUIN
2007
84views more  FUIN 2007»
13 years 8 months ago
Observation Based System Security
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
Damas P. Gruska
DAGSTUHL
2004
13 years 9 months ago
Refinement and Consistency in Multiview Models
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
Heike Wehrheim