Sciweavers

1407 search results - page 168 / 282
» Using Use Cases in Executable Z
Sort
View
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
15 years 2 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
ICDE
2003
IEEE
144views Database» more  ICDE 2003»
16 years 5 months ago
Flux: An Adaptive Partitioning Operator for Continuous Query Systems
The long-running nature of continuous queries poses new scalability challenges for dataflow processing. CQ systems execute pipelined dataflows that may be shared across multiple q...
Mehul A. Shah, Joseph M. Hellerstein, Sirish Chand...
SIGMOD
2002
ACM
120views Database» more  SIGMOD 2002»
16 years 4 months ago
Exploiting statistics on query expressions for optimization
Statistics play an important role in influencing the plans produced by a query optimizer. Traditionally, optimizers use statistics built over base tables and assume independence b...
Nicolas Bruno, Surajit Chaudhuri
CLUSTER
2008
IEEE
15 years 10 months ago
Empirical-based probabilistic upper bounds for urgent computing applications
—Scientific simulation and modeling often aid in making critical decisions in such diverse fields as city planning, severe weather prediction and influenza modeling. In some o...
Nick Trebon, Peter H. Beckman
RTAS
2007
IEEE
15 years 10 months ago
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
Joaquín Entrialgo, Javier García, Jo...