3909 search results - page 499 / 782 » Extreme Model Checking |
214
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
139
click to vote
IANDC
2010
15 years 3 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
176
click to vote
TCS
2010
15 years 3 months ago
2010
We consider a graph-theoretical formalization of the process of gene assembly in ciliates introduced in Ehrenfeucht et al (2003), where a gene is modeled as a signed graph. The ge...
157
click to vote
IPAW
2010
15 years 3 months ago
2010
Mitigating the devastating ramifications of major disasters requires emergency workers to respond in a maximally efficient way. Information systems can improve their efficiency by ...
186
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...