1141 search results - page 131 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
169
click to vote
ICFEM
2009
Springer
16 years 29 days ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
170
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
168
click to vote
HT
2005
ACM
15 years 12 months ago
2005
ACM
Hypertext can be seen as a logic representation, where semantics are encoded in both the textual nodes and the graph of links. Systems that have a very formal representation of th...
166
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
161
click to vote
ICSM
2005
IEEE
15 years 12 months ago
2005
IEEE
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...