Sciweavers

2205 search results - page 337 / 441
» Mutation Operators for Specifications
Sort
View
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 2 months ago
Constructing Active Architectures in the ArchWare ADL
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
Ronald Morrison, Graham N. C. Kirby, Dharini Balas...
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 2 months ago
Transfer Entropy on Rank Vectors
A number of measures have been proposed for the direction of the coupling between two time series, and transfer entropy (TE) has been found in recent studies to perform consistentl...
Dimitris Kugiumtzis
113
Voted
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 2 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
CORR
2008
Springer
96views Education» more  CORR 2008»
15 years 2 months ago
High Efficiency 3-Phase Cmos Rectifier with Step Up and Regulated
: This paper presents several design issues related to the monolithic integration of a 3-phase AC to DC low voltage, low power rectifier for 3-phase micro source electrical conditi...
J.-C. Crebier, Y. Lembeye, H. Raisigel, O. Deleage...
120
Voted
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 2 months ago
Automatic Recommendation for Online Users Using Web Usage Mining
A real world challenging task of the web master of an organization is to match the needs of user and keep their attention in their web site. So, only option is to capture the intu...
Dipa Dixit, Jayant Gadge