6308 search results - page 361 / 1262 » Modeling Urgency in Timed Systems |
162
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
We introduce branching process models in discrete and continuous time for the exponentially increasing phase of cascading blackouts. Cumulative line trips from real blackout data ...
254
click to vote
CBSE
2011
Springer
14 years 6 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
184
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
151
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
To measure the productivity gained from computer-based authoring systems, account must be taken of changes in the way the work is organised. An analysis of economists' author...
173
click to vote
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
Software performance engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challengi...