3771 search results - page 443 / 755 » Subobject Transformation Systems |
113
click to vote
ENVSOFT
2010
15 years 4 months ago
2010
Successful composting implies a careful monitoring of the batch process, which includes two phases: active composting and curing. In the first phase, a succession of microbial act...
115
Voted
ENTCS
2008
15 years 4 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
146
click to vote
IAJIT
2008
15 years 4 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
116
click to vote
IEICET
2006
15 years 4 months ago
2006
In this paper, we propose the transmit power controlled adaptive downlink frequency symbol spreading OFDM (TPC-AMS/FSS-OFDM) system. In the TPC-AMS/FSSOFDM, each serial to paralle...
116
click to vote
JLP
2006
15 years 4 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...