2291 search results - page 314 / 459 » Logic Programming and Model Checking |
116
Voted
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
108
Voted
CIA
2003
Springer
15 years 7 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
118
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. Noise analysis techniques can detect some of such noise faults, but accu...
97
Voted
MMNS
2004
15 years 3 months ago
2004
Due to the significant development of network services in the past few years, their validation has become increasingly difficult. The advent of novel approaches to the issue of val...
111
Voted
IANDC
2010
15 years 22 days 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...