Sciweavers

2819 search results - page 104 / 564
» Associative Omega-product of Processes
Sort
View
TOOLS
1999
IEEE
15 years 10 months ago
Events in Use Cases as a Basis for Identifying and Specifying Classes and Business Rules
Business rules are closely associated with events. This paper describes how events in use cases can be the basis for identifying classes and business rules. A process known as Eve...
Danny C. C. Poo
EMISA
2002
Springer
15 years 6 months ago
Developing software families
Abstract: There is a lack of a systematic, generic, domain independent objectoriented software engineering process for software familes. In such process a system family should be t...
Silva Robak
AE
2005
Springer
15 years 11 months ago
Evolutionary Design of a DDPD Model of Ligation
Ligation is a form of chemical self-assembly that involves dynamic formation of strong covalent bonds in the presence of weak associative forces. We study an extremely simple form ...
Mark A. Bedau, Andrew Buchanan, Gianluca Gazzola, ...
CLEIEJ
2006
88views more  CLEIEJ 2006»
15 years 6 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
PAMI
1998
141views more  PAMI 1998»
15 years 5 months ago
A Probabilistic Approach to the Coupled Reconstruction and Restoration of Underwater Acoustic Images
—This paper describes a probabilistic technique for the coupled reconstruction and restoration of underwater acoustic images. The technique is founded on the physics of the image...
Vittorio Murino, Andrea Trucco, Carlo S. Regazzoni