Sciweavers

6434 search results - page 188 / 1287
» Model Transformations with Reference Models
Sort
View
INFORMATICALT
2002
82views more  INFORMATICALT 2002»
13 years 10 months ago
Data Aggregation Sets in Adaptive Data Model
This article presents the ways of identification, selection and transformation of the data into other structures. Relation selection and transformation may change data quantity and...
Petras Gailutis Adomenas, Algirdas Ciucelis
CORR
2010
Springer
108views Education» more  CORR 2010»
13 years 8 months ago
Affine Invariant, Model-Based Object Recognition Using Robust Metrics and Bayesian Statistics
We revisit the problem of model-based object recognition for intensity images and attempt to address some of the shortcomings of existing Bayesian methods, such as unsuitable prior...
Vasileios Zografos, Bernard F. Buxton
MEMOCODE
2010
IEEE
13 years 8 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler
INFOCOM
2005
IEEE
14 years 4 months ago
Bounding the power rate function of wireless ad hoc networks
Abstract— Given a wireless ad hoc network and an endto-end traffic pattern, the power rate function refers to the minimum total power required to support different throughput un...
Yunnan Wu, Qian Zhang, Wenwu Zhu, Sun-Yuan Kung
FM
2001
Springer
99views Formal Methods» more  FM 2001»
14 years 3 months ago
Transacted Memory for Smart Cards
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
Pieter H. Hartel, Michael J. Butler, Eduard de Jon...