Sciweavers

2714 search results - page 35 / 543
» On the Notion of Value Object
Sort
View
IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
15 years 1 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes
EJC
2011
14 years 4 months ago
Enumeration of connected Catalan objects by type
Noncrossing set partitions, nonnesting set partitions, Dyck paths, and rooted plane trees are four classes of Catalan objects which carry a notion of type. There exists a product f...
Brendon Rhoades
AHS
2006
IEEE
108views Hardware» more  AHS 2006»
14 years 11 months ago
A Multi-Objective Genetic Algorithm for On-Chip Real-time Adaptation of a Multi-Carrier Based Telecommunications Receiver
This paper presents a multi-objective algorithm for on-line adaptation of a multi-carrier code-division multiple access (MC-CDMA) receiver. A specially tailored Genetic Algorithm ...
Nasri Sulaiman, Ahmet T. Erdogan
CORR
2006
Springer
96views Education» more  CORR 2006»
14 years 9 months ago
Intrinsically Legal-For-Trade Objects by Digital Signatures
: The established techniques for legal-for-trade registration of weight values meet the legal requirements, but in praxis they show serious disadvantages. We report on the first im...
Alexander Wiesmaier, Ulrich Rauchschwalbe, Christo...
EUSFLAT
2003
14 years 11 months ago
Capacities on lattices and k-ary capacities
We propose a general notion of capacity defined on any finite distributive lattice, encompassing usual capacities, bi-capacities, and their immediate extensions called k-ary cap...
Michel Grabisch, Christophe Labreuche