Sciweavers

892 search results - page 34 / 179
» Calculating with Requirements
Sort
View
94
Voted
TC
2008
15 years 18 days ago
The Mixed-Radix Chinese Remainder Theorem and Its Applications to Residue Comparison
The Chinese remainder theorem (CRT) and the mixed-radix conversion (MRC) are two classic theorems used to convert a residue number to its binary correspondence for a given moduli s...
Shaoqiang Bi, Warren J. Gross
99
Voted
JOT
2010
142views more  JOT 2010»
14 years 11 months ago
On Differencing Object-Oriented Formal Specifications
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah
PET
2012
Springer
13 years 3 months ago
Fault-Tolerant Privacy-Preserving Statistics
Real-time statistics on smart meter consumption data must preserve consumer privacy and tolerate smart meter failures. Existing protocols for this private distributed aggregation m...
Marek Jawurek, Florian Kerschbaum
103
Voted
WSC
2000
15 years 2 months ago
Tire model for simulations of vehicle motion on high and low friction road surfaces
An on-road analytical tire model has been developed to predict tire forces and moments at the tire/road interface. The model is computationally efficient and it only requires a li...
James Lacombe
83
Voted
DATE
2006
IEEE
115views Hardware» more  DATE 2006»
15 years 6 months ago
Management of complex automotive communication networks
Automakers are still facing an increasing complexity in vehicle requirements with regard to their EE systems. This complexity is not only caused by innovations, which are being pr...
Thomas Weber