64 search results - page 6 / 13 » Modeling and Automatic Failure Analysis of Safety-Critical S... |
BIRTHDAY
2003
Springer
13 years 11 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
JCSS
2008
13 years 7 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
ACL
2003
13 years 8 months ago
2003
This position paper argues for an interactive approach to text understanding. The proposed model extends an existing semantics-based text authoring system by using the input text ...
SRDS
2008
IEEE
14 years 1 months ago
2008
IEEE
Large-scale distributed systems are subject to churn, i.e., continuous arrival, departure and failure of processes. Analysis of protocols under churn requires one to use churn mod...
JLP
2007
13 years 7 months ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...