Sciweavers

1586 search results - page 116 / 318
» Modeling the evolution of operating systems: An empirical st...
Sort
View
EUROSYS
2010
ACM
15 years 11 months ago
Residue objects: a challenge to web browser security
A complex software system typically has a large number of objects in the memory, holding references to each other to implement an object model. Deciding when the objects should be...
Shuo Chen, Hong Chen, Manuel Caballero
IGPL
2011
14 years 10 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski
HICSS
2002
IEEE
124views Biometrics» more  HICSS 2002»
15 years 11 months ago
Dynamics, Criticality and Self-Organization in a Model for Blackouts in Power Transmission Systems
A model has been developed to study the global complex dynamics of a series of blackouts in power transmission systems [1, 2]. This model has included a simple level of self-organ...
Benjamin A. Carreras, Vickie E. Lynch, Ian Dobson,...
ECBS
2006
IEEE
145views Hardware» more  ECBS 2006»
15 years 10 months ago
The Accuracy of Fault Prediction in Modified Code - Statistical Model vs. Expert Estimation
Fault prediction models still seem to be more popular in academia than in industry. In industry expert estimations of fault proneness are the most popular methods of deciding wher...
Piotr Tomaszewski, Jim Håkansson, Lars Lundb...
CONCUR
2001
Springer
15 years 11 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...