Sciweavers

11328 search results - page 142 / 2266
» Timed Branching Processes
Sort
View
ICIP
2000
IEEE
16 years 8 months ago
Real Time Adaptive Ultrasound Speckle Reduction and Coherence Enhancement
Khaled Z. Abd-Elmoniem, Yasser M. Kadah, Abou Bakr...
MODELS
2009
Springer
16 years 27 days ago
Incremental Model Synchronization for Efficient Run-Time Monitoring
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...
UML
1999
Springer
15 years 10 months ago
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study
Thomas Firley, Michaela Huhn, Karsten Diethers, Th...
ACTAC
2008
94views more  ACTAC 2008»
15 years 6 months ago
Effect Preservation in Transaction Processing in Rule Triggering Systems
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
Mira Balaban, Steffen Jurk