Sciweavers

3706 search results - page 215 / 742
» KtSeqC: System Description
Sort
View
TCOM
2008
82views more  TCOM 2008»
15 years 6 months ago
Detecting the number of signals in wireless DS-CDMA networks
In this paper, a new information theoretic algorithm is proposed for signal enumeration in DS-CDMA networks. The approach is based on the predictive description length (PDL) of the...
Shahrokh Valaee, Shahram Shahbazpanahi
FTRTFT
1998
Springer
15 years 11 months ago
A Modular Visual Model for Hybrid Systems
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
Radu Grosu, Thomas Stauner, Manfred Broy
CONCUR
2006
Springer
15 years 10 months ago
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Le...
ECOOP
2008
Springer
15 years 8 months ago
Bristlecone: A Language for Robust Software Systems
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...
Brian Demsky, Alokika Dash
SCSC
2007
15 years 8 months ago
A graphical variant approach to object-oriented modeling of dynamic systems
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
Paul Kinnucan, Pieter J. Mosterman