Sciweavers

793 search results - page 81 / 159
» Physical modeling of data warehouses using UML
Sort
View
BCS
2008
13 years 10 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
GMP
2000
IEEE
173views Solid Modeling» more  GMP 2000»
14 years 1 months ago
A Representation Independent Geometric Modeling Kernel
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
Alan E. Middleditch, Chris Reade, Abel J. P. Gomes
ICDE
2008
IEEE
164views Database» more  ICDE 2008»
14 years 3 months ago
Modelling traceability in the forestry wood supply chain
—Equivalent of €5 billion of wood raw material is going to waste in Europe. The reason is that information regarding the raw material is not available throughout the system. An...
Antti Sirkka
IOLTS
2005
IEEE
163views Hardware» more  IOLTS 2005»
14 years 2 months ago
Modeling Soft-Error Susceptibility for IP Blocks
As device geometries continue to shrink, single event upsets are becoming of concern to a wider spectrum of system designers. These “soft errors” can be a nuisance or catastro...
Robert C. Aitken, Betina Hold
IJNS
2010
106views more  IJNS 2010»
13 years 7 months ago
Cascade Process Modeling with Mechanism-Based Hierarchical Neural Networks
Abstract: Cascade process, such as wastewater treatment plant, includes many nonlinear subsystems and many variables. When the number of sub-systems is big, the input-output relati...
Qiumei Cong, Wen Yu, Tianyou Chai