Sciweavers

11328 search results - page 142 / 2266
» Timed Branching Processes
Sort
View
93
Voted
ICIP
2000
IEEE
16 years 5 months ago
Real Time Adaptive Ultrasound Speckle Reduction and Coherence Enhancement
Khaled Z. Abd-Elmoniem, Yasser M. Kadah, Abou Bakr...
101
Voted
MODELS
2009
Springer
15 years 10 months ago
Incremental Model Synchronization for Efficient Run-Time Monitoring
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...
111
Voted
UML
1999
Springer
15 years 7 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 3 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