Sciweavers

1728 search results - page 9 / 346
» Formal Modeling of Process Migration
Sort
View
BMCBI
2007
152views more  BMCBI 2007»
15 years 13 days ago
Recodon: Coalescent simulation of coding DNA sequences with recombination, migration and demography
Background: Coalescent simulations have proven very useful in many population genetics studies. In order to arrive to meaningful conclusions, it is important that these simulation...
Miguel Arenas, David Posada
92
Voted
CCS
2003
ACM
15 years 5 months ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
ICSOC
2009
Springer
15 years 7 months ago
Another Approach to Service Instance Migration
Services change over time, be it for internal improvements, be it for external requirements such as new legal regulations. For long running services, it may even be necessary to ch...
Nannette Liske, Niels Lohmann, Christian Stahl, Ka...
109
Voted
SIGMOD
2004
ACM
164views Database» more  SIGMOD 2004»
16 years 17 days ago
Dynamic Plan Migration for Continuous Queries Over Data Streams
Dynamic plan migration is concerned with the on-the-fly transition from one continuous query plan to a semantically equivalent yet more efficient plan. Migration is important for ...
Yali Zhu, Elke A. Rundensteiner, George T. Heinema...